import $"preludes/l1.tlc";

1 + 1;