Symbol: t4_read_port_device