r := sum { [] -> 1 };
assert(r == { 1 });
