#include <osreldate.h>
#include <sys/sysctl.h>

extern "C" int getosreldate();

#ifndef KERN_PROC_PATHNAME
#define KERN_PROC_PATHNAME 12
#endif

#define UAP_STACK_POINTER_TYPE __register_t