(MemChunk (mc_Next 0 MemChunk . t) (mc_Bytes 4 . 4))

(MemHeader (mh_Node 0 Node) (mh_Attributes 14 . 2) (mh_First 16 MemChunk . 
t) (mh_Lower 20 byte . t) (mh_Upper 24 byte . t) (mh_Free 28 . 4))

(MemEntry (me_Un union 0 ((0 0 . 4) (0 4 byte . t))) (me_Length 4 . 4))

(MemList (ml_Node 0 Node) (ml_NumEntries 14 . 2) (ml_ME 16 1 . 8))