#include <cs20200.h>
#include <stdlib.h>


static char name[] = "Jeff Kinne cs20200 (mario-ish)";

void mario();

void cs20200_game()
{
  mario();
}

char *cs20200_name()
{
  return name;
}