Virtual memory manager in C.