assert.ob 41 B

12345
  1. MODULE m;
  2. BEGIN
  3. ASSERT(TRUE);
  4. END m.