script {
    entry fn main() -> bool {
        entry():
        v0 = const u256 0x0000000000000000000000000000000000000000000000000000000000000001
        v1 = not v0
        v2 = const bool true
        ret bool v2
    }
}

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

// check: v0 = get_local ptr u256, __wide_lhs
// check: v1 = const u256 0x0000000000000000000000000000000000000000000000000000000000000001
// check: store v1 to v0
// check: v2 = get_local ptr u256, __wide_result
// check: wide not v0 to v2