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

$input int X;
$assume(1 <= X && X <= 2);

void proc(int id){
  printf("hello, I'm process %d\n", id);
}

int main(void) {
  // (0 .. X-1) is elaborated implicity before $parfor
  $parfor(int i: 0 .. X-1)
    proc(i);
  return 0;
}