#include <mach/std_types.defs> #include <mach/mach_types.defs> type cpu_type_t = int; subsystem dyld_server 10000; serverprefix do_; simpleroutine dyld_shared_cache_missing( dyld_port : mach_port_t; arch : cpu_type_t; SendTime sendTimeout : natural_t); simpleroutine dyld_shared_cache_out_of_date( dyld_port : mach_port_t; arch : cpu_type_t; SendTime sendTimeout : natural_t);