/* 
 * Commandline example:
 *     civl verify assertPrintf.cvl
 */
#include<civlc.cvh>
#include<stdio.h>

void main(){
  int a = 10;
  int b = 2;

  printf("hello!");
  $assert(b > a, "%d is smaller than %d!", b, a);
}
