Shims for Mach datatypes and functions