NOTE: machine.mod is useful at compilation. Don't remove it!!!