Re-express object allocation in terms of a list push/pop sequence.