../hlib/mach32.h