#include <xvt.h>
#include <checks.h>

#include "ab3.h"

int main(int argc,char **argv)
{
  ab3100(argc,argv);
	exit(0);
  return 0;
}