(ExprInt(uint24(0x0L)), 8, 32))) & ExprInt(uint32(0x1L)), 0, 32), (ExprInt(uint32(0x0L)), 32, 64))) ), (ExprCompose([(a[:16], 0, 16), (b[:16], 16, 32)])[8:32], ExprCompose([(a[8:16], 0, 8), (b[:16], 8, 24)])), ((a >> ExprInt32(16))[:16], a[16:32]), ((a >> ExprInt32(16))[8:16], a[24:32]), ((a << ExprInt32(16))[16:32], a[:16]), ((a << ExprInt32(16))[24:32], 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)),
ExprInt(0x0L, 24)) & ExprInt(0x1L, 32), ExprInt(0x0L, 32)) ), (ExprCompose(a[:16], b[:16])[8:32], ExprCompose(a[8:16], b[:16])), ((a >> ExprInt(16, 32))[:16], a[16:32]), ((a >> ExprInt(16, 32))[8:16], a[24:32]), ((a << ExprInt(16, 32))[16:32], a[:16]), ((a << ExprInt(16, 32))[24:32], 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)),