// regex: ID=[[:alpha:]0-9_]+

script {
    entry fn main() -> { u64, bool } {
// check: local { u64, bool } $(loc=$ID) = const { u64, bool } { u64 42, bool false }

        entry():
        v0 = const { u64, bool } { u64 42, bool false }

// not: const { u64, bool } { u64 42, bool false }
// check: $(loc_var=$ID) = get_local ptr { u64, bool }, $loc
// check: $(loc_val=$ID) = load $loc_var

        ret { u64, bool } v0
// check: ret { u64, bool } $loc_val
    }
}