A memory interface that incorporates assertions and other routine actions when allocating and freeing memory. Based on material from C Interfaces and Implementations by D. Hanson