Add a return value to prf_t.allocate_bytes()