/* Function to append a 64 bit number / 25 onto the string. */
EFI_STATUS AppendCSDNum2(IN OUT POOL_PRINT *Str, IN UINT64 Num)
/* Function to append a 64 bit number / 25 onto the string. */
EFI_STATUS AppendCSDNum2(IN OUT POOL_PRINT *Str, IN UINT64 Num)
{
  EFI_STATUS  Status;
  UINT64      Result;
  UINT32      Rem;
  ASSERT (Str != NULL);
  Result = DivU64x32Remainder (Num, 25, &Rem);
  if (Result > 0) {
    Status = AppendCSDNum2 (Str, Result);
    if (EFI_ERROR (Status)) {
      return Status;
    }
  }
  return CatPrint (Str, L"%c", Rem + 'a');
}