Commenting the compilation file.
Traying a new definition of memory mappig between spark and compcert.
Not finished.