#include <xvt.h>

#include "pd6142.h"

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