SIZE_T v3; // ebx@1
  int v4; // eax@7
  void *v5; // edi@7
  LPVOID v6; // eax@7
  int v7; // eax@8
  int v8; // eax@10
  int v9; // edx@12
  signed int v10; // ecx@12
  int v11; // eax@13
  int v12; // eax@14

  v3 = 21;
  if ( a3 >= 1 )
    v3 = 24;
  if ( a3 >= 2 )
    v3 += 3;
  if ( a3 >= 3 )
    v3 += 2 * (3 * a3 - 6);
  v5 = calloc(1u, 8u);
  v6 = VirtualAlloc(0, v3, 0x1000u, 0x40u);
  *(_DWORD *)v5 = v6;
  *(_BYTE *)v6++ = 0x55u;
  *(_BYTE *)v6++ = -117;
  *(_BYTE *)v6++ = -20;
  *(_BYTE *)v6++ = 104;
  *(_DWORD *)v6 = a1;