#version 100

// sync block nested in sync block
primitive main(in a, out b) {
	while (true) {
		sync {
			if (false || true) {
				sync {
					skip;
				}
			}
		}
	} 
}