#include pins.h
main()
{
  gvarset(7373,0);
  gvarset(7372,0);

  portclr(OUTPUT_FLOOD);
  portclr(OUTPUT_MIST);

  gvarset(8130,0); //stop the pulse generator
  timer=30;do{timer--;}while(timer>0); //wait a time for the frequency value to be delivered
  exit(99);	//normal exit 
};