Symbol: read_pin