pub unsafe extern "system" fn ResUtilLeftPaxosIsLessThanRight(
    left: *const PaxosTagCStruct,
    right: *const PaxosTagCStruct,
) -> BOOL