print(x.replace_expr({c + ExprInt(0x42, 32): d,
                      a + b: c, }))