Compiling Turing Machines into Storage Modification Machines