Symbol: ibt_immed_t