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

public class ClassInsideAICUsingGenerics {
    public static void main (String args[]) {
        <| { final Integer x = 0;     // bind a dynamic var
            `(new Object () {
                    public separable Code <SafeCode<Integer>> getCode () {
                        return <|<| x |>|>;
                    }
                }.getCode ()).run ();
        } |>.run ();
        System.out.println ("run succeeds");
    }
}