Some work on virtual memory