script {
    fn main() -> bool {
        entry():
        v0 = const u256 0x0000000000000000000000000000000000000000000000000000000000000000
        v1 = const u256 0x0000000000000000000000000000000000000000000000000000000000000001

        v10 = cmp eq v0 v0
//check: v0 = const bool true
        ret bool v10
    }
}