Symbol: phyint_inst_init_from_k