Ricardo

changes to pagefault, free, and dump and load.