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

void main(){
  int a = 10;
  int b = 2;
  $assert(b > a, "%d is smaller than %d!", b, a);
}