#include <xvt.h>
#include <checks.h>
#include "ab3.h"
int main(int argc,char **argv)
{
ab3100(argc,argv);
exit(0);
return 0;
}