alloc: ok, state bound
