MODULE Test;

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