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

public final class ScopeExt2 {
    public static void main (String [] args) {
        <| {
            Integer x = 0;
            Code<Integer> y = `(let final Code<Integer> z = <|x|>;
                                <|z|> // This is the CSP
            );
        } |>.run();
    }
}
