Playing around with virtual memory translation