//# run
main() {
label loop:
    return;
    assert(false, 42);
    jump loop;
}