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