Module boxed
crndm
A persistent pointer type for persistent memory allocation
A pointer type for persistent heap allocation.