#include <civlc.cvh>
#include <stdlib.h>

int main(){
  int val1 = rand(), val2 = rand();
  
  $assert(val1 == val2);
}