+ Check in compiler backend that nobody accidentally uses 64bit values on 32bit
systems
+ (MAYBE) Check that there aren't duplicate destinations in operand list?
+ Darn, the return type doesn't really work with 32bit systems, should fix that
somehow