//# run
script {
fun main() {
    let x = 0;
    while (true) {
        x = x + 1;
        break
    };
    assert!(x == 1, 42);
}
}