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