public static Block Enter(string x, int i, Def z) { if (z.Enter(x, i)) { return new Block() { def = z } } ; else { return(null); } }