Trying something out by moving the definition of mach_print to another file.