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

script {
    entry fn main() -> b256 {
// check: local b256 $(loc=$ID) = const b256 0x2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b

        entry():
        v0 = const b256 0x2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b

// not:   const b256 0x2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b
// check: $(loc_var=$ID) = get_local ptr b256, $loc
// check: $(loc_val=$ID) = load $loc_var

        ret b256 v0
// check: ret b256 $loc_val
    }
}