Memory Safety in ProcASM