RosettaCodeData/Task/Assertions/Sather/assertions.sa

class MAIN is
  main is
    i ::= 41;
    assert i = 42; -- fatal
    -- ...
  end;
end;