micro: a = a ^ x -> a^= x