BADTIME
atabort(BADTIME);
atabort(BADTIME);
atabort(BADTIME);
atabort(BADTIME);
atabort(BADTIME);
touchabort(BADTIME);
touchabort(BADTIME);
touchabort(BADTIME);
touchabort(BADTIME);
touchabort(BADTIME);
touchabort(BADTIME);
touchabort(BADTIME);
touchabort(BADTIME);
touchabort(BADTIME);
{ BADTIME, "time not synchronized" },
#ifndef BADTIME