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

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