#include<civlc.h>

void main() {
  $assert 6 == $O(1);
}