#include<civlc.h>

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