Is alloc allowed to return null?