/* Commandline execution:
 *		civl verify compare.cvl
 * */
#include<civlc.cvh>

void main() {
  $assert(1 > 0.0);
  $assert(1 > 0);
  $assert(5 <= 5.1);
  $assert(5 <= 5);
}