alloc_sysctl_buffer
char** alloc_sysctl_buffer(void);
op = alloc_sysctl_buffer();
val = alloc_sysctl_buffer();