Small changes to check out if mach_print works as expected