h-alloc impemented