module VindtDeRedex import StdEnv e1 = 42 e2 = 1 + 125 * 8 / 10 - 59 e3 = not True || True && False e4 = 1 + 2 == 6 - 3 e5 = "1 + 2" == "6 - 3" e6 = "1111 + 2222" == "1111" +++ " + " +++ "2222" Start = e6