pub unsafe extern "C" fn PL_instantiation_error(culprit: usize) -> i32