Better coding on int_machine.c.