This milestone deals with being able to execute tailored LLVM bytecode—as generated by the Rust compiler—on Cairo. It will support a subset of the full runtime operations that are necessary, but deal with the thorniest issues such as the memory representation, function-calling and stack-semantics, and the compilation itself.