import "./trait" for Var Var["Δ"] = 1 Var["Δ"] = Var["Δ"] + 1 System.print(Var["Δ"])