/* Commandline execution:
 *		civl verify break.cvl
 * */
#include <civlc.cvh>

void main() {
  int i, j;
  for (i = 0; i < 5; i++) {
    for (j = 0; j < 10; j++) {
      if (j == 6) {
        break;
      }
    }
    if ( i == 3) {
      break;
    }
  }
  $assert(i == 3);
  $assert(j == 6);
}