pub unsafe extern "C" fn PL_recorded_external(
    rec: *const i8,
    term: usize
) -> i32