s3: "regf_hbin_allocate" only looks at the size