{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"evaluator.write_memory(a3.offset(evaluator.ptr_size()),"}]}
    evaluator.write_memory(a3.offset(evaluator.ptr_size()), &[1])?;
    evaluator.write_memory(a3, &a1.to_bytes())?;
    evaluator.write_memory(a3.offset(2 * evaluator.ptr_size()), &a2.to_bytes())?;