Separate definitions of virtual memory.