Symbol: check_pin_properties