#include <stdint.h>
#include <stdio.h>

struct BlockProfileInfo {
  uint64_t Counter;
  const char *const BlockName;
} __attribute__((aligned(8)));

extern const struct BlockProfileInfo *__Sz_block_profile_info;

static const char SubzeroLogo[] =
    "\n"
    "\n"
    "__________________________________________________________________________"
    "____________________________\n"
    " _____/\\\\\\\\\\\\\\\\\\\\\\__________________/"
    "\\\\\\_______________________________________________________________\n"
    "  "
    "___/\\\\\\/////////\\\\\\_______________\\/"
    "\\\\\\_______________________________________________________________\n"
    "   "
    "__\\//\\\\\\______\\///________________\\/"
    "\\\\\\_______________________________________________________________\n"
    "    "
    "___\\////\\\\\\__________/\\\\\\____/\\\\\\_\\/\\\\\\_________/"
    "\\\\\\\\\\\\\\\\\\\\\\_____/\\\\\\\\\\\\\\\\___/\\\\/\\\\\\\\\\\\\\____/"
    "\\\\\\\\\\____\n"
    "     "
    "______\\////\\\\\\______\\/\\\\\\___\\/\\\\\\_\\/\\\\\\\\\\\\\\\\\\__\\///"
    "////\\\\\\/____/\\\\\\/////\\\\\\_\\/\\\\\\/////\\\\\\_/\\\\\\///"
    "\\\\\\__\n"
    "      "
    "_________\\////\\\\\\___\\/\\\\\\___\\/\\\\\\_\\/\\\\\\////\\\\\\______/"
    "\\\\\\/_____/\\\\\\\\\\\\\\\\\\\\\\__\\/\\\\\\__\\///__/\\\\\\__\\//"
    "\\\\\\_\n"
    "       "
    "__/\\\\\\______\\//\\\\\\__\\/\\\\\\___\\/\\\\\\_\\/\\\\\\__\\/\\\\\\____/"
    "\\\\\\/______\\//\\\\///////___\\/\\\\\\_______\\//\\\\\\__/\\\\\\__\n"
    "        "
    "_\\///\\\\\\\\\\\\\\\\\\\\\\/___\\//\\\\\\\\\\\\\\\\\\__\\/"
    "\\\\\\\\\\\\\\\\\\___/\\\\\\\\\\\\\\\\\\\\\\__\\//\\\\\\\\\\\\\\\\\\\\_\\/"
    "\\\\\\________\\///\\\\\\\\\\/___\n"
    "         "
    "___\\///////////______\\/////////___\\/////////___\\///////////____\\/////"
    "/////__\\///___________\\/////_____\n"
    "          "
    "__________________________________________________________________________"
    "____________________________\n"
    "\n"
    "\n";

void __Sz_profile_summary() {
  printf("%s", SubzeroLogo);
  for (const struct BlockProfileInfo **curr = &__Sz_block_profile_info;
       *curr != NULL; ++curr) {
    printf("%lld\t%s\n", (*curr)->Counter, (*curr)->BlockName);
  }
  fflush(stdout);
}