Remove time from AllocRec, as it is an implementation detail