Symbol: isa_phdl_t