pub unsafe extern "C" fn PL_instantiation_error(
    culprit: term_t
) -> c_int