unsigned int __fastcall AsciiSPrint(
        _BYTE *_r_n,
        unsigned int n0xF4240,
        __int16 a3,
        char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a.,
        char *va)
{
  int v5; // ebx
  int v7; // edi
  int v8; // eax
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._1; // edx
  int v11; // eax
  int v12; // eax
  int v13; // eax
  int v14; // eax
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._2; // edx
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._3; // edx
  int v17; // eax
  _BYTE *_r_n_2; // esi
  unsigned int v19; // edi
  int v20; // ecx
  int n10; // eax
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._5; // edi
  unsigned int v23; // ecx
  const char *_r_n_5; // esi
  int n2_2; // eax
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._9; // edi
  int v27; // esi
  unsigned int n13_1; // ecx
  int v29; // ebx
  int v30; // esi
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._10; // edi
  unsigned int v32; // ecx
  unsigned int v33; // ecx
  unsigned int v34; // ecx
  unsigned int v35; // ecx
  unsigned int v36; // ecx
  unsigned int v37; // ecx
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._12; // edx
  int v39; // ecx
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._8; // ecx
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._11; // edx
  int v42; // ecx
  int v43; // eax
  unsigned __int8 *v44; // eax
  int v45; // edi
  int v46; // esi
  unsigned __int16 v47; // ax
  unsigned int v48; // ecx
  unsigned int v49; // ecx
  unsigned int v50; // ecx
  unsigned int v51; // ecx
  unsigned int n3; // ecx
  unsigned __int16 *v53; // ecx
  int n5; // ecx
  __int64 v55; // rdi
  unsigned int n16; // edx
  unsigned int v57; // ecx
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._7; // edx
  int v59; // ecx
  char *%04d_%02d_%02d_%02d:%02d:%02d_:_%a._6; // edx
  int v61; // ecx
  int v62; // edx
  unsigned int v63; // eax
  const char *i; // edi
  int v65; // ecx
  bool v66; // zf
  int i_1; // ecx
  _BYTE *_r_n_7; // edx
  int v69; // edi
  _BYTE *_r_n_8; // eax
  unsigned __int8 *v71; // ecx
  __int16 %04d_%02d_%02d_%02d:%02d:%02d_:_%a._13; // bx
  _BYTE *_r_n_9; // eax
  _BYTE *_r_n_10; // eax
  int v75; // ecx
  int v76; // eax
  unsigned __int8 n43; // [esp+11h] [ebp-77h]
  bool v78; // [esp+12h] [ebp-76h]
  char v79; // [esp+13h] [ebp-75h]
  int v80; // [esp+14h] [ebp-74h]
  _BYTE *_r_n_1; // [esp+18h] [ebp-70h]
  int n2_1; // [esp+1Ch] [ebp-6Ch]
  int v83; // [esp+24h] [ebp-64h]
  unsigned int v84; // [esp+28h] [ebp-60h]
  unsigned int v85; // [esp+2Ch] [ebp-5Ch]
  unsigned int n2; // [esp+30h] [ebp-58h]
  unsigned int _r_n_4; // [esp+34h] [ebp-54h]
  int n0xFFFF; // [esp+38h] [ebp-50h]
  int n13; // [esp+3Ch] [ebp-4Ch] BYREF
  unsigned int v90; // [esp+40h] [ebp-48h]
  unsigned int v91; // [esp+44h] [ebp-44h]
  unsigned __int8 *v92; // [esp+48h] [ebp-40h]
  int n0xF4240_1; // [esp+4Ch] [ebp-3Ch]
  int v94; // [esp+50h] [ebp-38h] BYREF
  int %04d_%02d_%02d_%02d:%02d:%02d_:_%a._4; // [esp+54h] [ebp-34h]
  _BYTE *_r_n_3; // [esp+58h] [ebp-30h]
  int n512; // [esp+5Ch] [ebp-2Ch]
  _BYTE _r_n_6[40]; // [esp+60h] [ebp-28h] BYREF