Symbol: read_pin_sense