//# run
main() {
    let x: u64;
    let y: u64;
    let z: u64;
label b0:
    // negative stack
    x, y, z = (1, 2);
    return;
}