bios_allocate_mem
void* stack = bios_allocate_mem(state, kStackSize);
void* halt = bios_allocate_mem(state, 1);
bios_allocate_mem,
