script {
    fn main() -> u256 {
        entry():
        v0 = const u256 0x0000000000000000000000000000000000000000000000000000000000000000
        v1 = const u256 0x0000000000000000000000000000000000000000000000000000000000000001
        v2 = const u256 0x0000000000000000000000000000000000000000000000000000000000000002
        v3 = const u256 0x0000000000000000000000000000000000000000000000000000000000000003
        v4 = const u256 0x0000000000000000000000000000000000000000000000000000000000000004
        v5 = const u256 0x0000000000000000000000000000000000000000000000000000000000000005
        v6 = const u256 0x0000000000000000000000000000000000000000000000000000000000000006
        v7 = const u256 0x0000000000000000000000000000000000000000000000000000000000000007
        v8 = const u64 2

        v10 = rsh v4, v8
        v11 = lsh v2, v8
        v12 = add v10, v11
        v13 = sub v12, v1
        v14 = mul v13, v2
        v15 = div v14, v4
        v16 = or v15, v2
        v17 = and v16, v4
        v18 = not v17
        v19 = not v18
        v20 = xor v19, v6
//check: v0 = const u256 0x0000000000000000000000000000000000000000000000000000000000000002
        ret u256 v20
    }
}