pub type __kernel_caddr_t = uref<c_char>;
struct __kernel_caddr_t { pub addr: uaddr, /* private fields */ }
addr: uaddr