pub unsafe extern "C" fn lean_small_mem_size(p: *mut c_void) -> c_uint