+ Check in compiler backend that nobody accidentally uses 64bit values on 32bit
systems
+ (MAYBE) Check that there aren't duplicate destinations in operand list?