[dsw-obn.git] / Test.obn

MODULE Test;

BEGIN
  ASSERT(ODD(5));
END Test.