Forgot a minor detail.
allocConsWithTag support in the processor's memory system.