Symbol: isa_bs_alloc