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

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