a[8:16]), (expr_cmpu(ExprInt32(0), ExprInt32(0)), ExprInt1(0)), (expr_cmpu(ExprInt32(10), ExprInt32(0)), ExprInt1(1)), (expr_cmpu(ExprInt32(10), ExprInt32(5)), ExprInt1(1)), (expr_cmpu(ExprInt32(5), ExprInt32(10)), ExprInt1(0)), (expr_cmpu(ExprInt32(-1), ExprInt32(0)), ExprInt1(1)), (expr_cmpu(ExprInt32(-1), ExprInt32(-1)), ExprInt1(0)), (expr_cmpu(ExprInt32(0), ExprInt32(-1)), ExprInt1(0)), (expr_cmps(ExprInt32(0), ExprInt32(0)), ExprInt1(0)), (expr_cmps(ExprInt32(10), ExprInt32(0)), ExprInt1(1)), (expr_cmps(ExprInt32(10), ExprInt32(5)), ExprInt1(1)), (expr_cmps(ExprInt32(5), ExprInt32(10)), ExprInt1(0)), (expr_cmps(ExprInt32(-1), ExprInt32(0)), ExprInt1(0)), (expr_cmps(ExprInt32(-1), ExprInt32(-1)), ExprInt1(0)), (expr_cmps(ExprInt32(0), ExprInt32(-1)), ExprInt1(1)), (expr_cmps(ExprInt32(-5), ExprInt32(-10)), ExprInt1(1)),
a[8:16]), (expr_cmpu(ExprInt(0, 32), ExprInt(0, 32)), ExprInt(0, 1)), (expr_cmpu(ExprInt(10, 32), ExprInt(0, 32)), ExprInt(1, 1)), (expr_cmpu(ExprInt(10, 32), ExprInt(5, 32)), ExprInt(1, 1)), (expr_cmpu(ExprInt(5, 32), ExprInt(10, 32)), ExprInt(0, 1)), (expr_cmpu(ExprInt(-1, 32), ExprInt(0, 32)), ExprInt(1, 1)), (expr_cmpu(ExprInt(-1, 32), ExprInt(-1, 32)), ExprInt(0, 1)), (expr_cmpu(ExprInt(0, 32), ExprInt(-1, 32)), ExprInt(0, 1)), (expr_cmps(ExprInt(0, 32), ExprInt(0, 32)), ExprInt(0, 1)), (expr_cmps(ExprInt(10, 32), ExprInt(0, 32)), ExprInt(1, 1)), (expr_cmps(ExprInt(10, 32), ExprInt(5, 32)), ExprInt(1, 1)), (expr_cmps(ExprInt(5, 32), ExprInt(10, 32)), ExprInt(0, 1)), (expr_cmps(ExprInt(-1, 32), ExprInt(0, 32)), ExprInt(0, 1)), (expr_cmps(ExprInt(-1, 32), ExprInt(-1, 32)), ExprInt(0, 1)), (expr_cmps(ExprInt(0, 32), ExprInt(-1, 32)), ExprInt(1, 1)), (expr_cmps(ExprInt(-5, 32), ExprInt(-10, 32)), ExprInt(1, 1)),