#include<collate.cvh>

int main() {
  $collate_state cp;
  int x = 0;

  $when($collate_complete(cp)) x++;
  return 0;
}