#include <stdio.h>

// ======================================================================
??? dump(???)
{
}

// ======================================================================
int main(int argc, char *argv[])
{
  if (argc <= 1) {
    fprintf(stderr, "Please provide a filename\n");
    fprintf(stderr, "usage: dump filename\n");
    return 1;
  }

  return dump(argv[1]);
}