IB_CAPACITY_IN_WORDS
config.unallocated_ib_mem_words = IB_CAPACITY_IN_WORDS;
u32 unallocated_memory = IB_CAPACITY_IN_WORDS;
assert(current_address <= IB_CAPACITY_IN_WORDS);