fn f() {
    'label:
    while true {}
    'label:
    while true { true }
}