pub unsafe extern "C" fn opt_pk_bottom(
man: *mut elina_manager_t,
intdim: size_t,
realdim: size_t,
) -> *mut opt_pk_array_tpub unsafe extern "C" fn opt_pk_bottom(
man: *mut elina_manager_t,
intdim: size_t,
realdim: size_t,
) -> *mut opt_pk_array_t