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

public class CspSample {
    public static void main (String [] args) {
        final int x = 1;
        Code<Integer> c = <| x |>;
        System.out.println (c.run ());
    }
}
