import edu.rice.cs.mint.runtime.*;

public class EscapeSample {
    public static void main (String [] args) {
        SafeCode<Integer> c1 = <| 1 |>;
        SafeCode<Integer> c2 = <| 2 |>;
        Code<Integer> c = <| `(c1) + `c2 |>;
        System.out.println (c.run ());
    }
}
