a toy implementation of lightweight recoverable virtual memory