#include <stdlib.h>
#include <stdio.h>

static const char *prg_name;

void
usage(void)
{
  printf("Usage: %s [-hV] [-b bios]\n");
}

int
main(int argc, char **argv)
{
  prg_name =  argv[0];

  return (EXIT_SUCCESS);
}