Virtual memory for C programs