/* LINTLIBRARY */
#include "sys/time.h"
#include "sys/types.h"
#include "sys/timeb.h"
#include "Venviron.h"
#include "Vprocess.h"
#include "Vtime.h"
#include "../../m68k/Vlint.h"
#define _LINE_ID(line, file)# line file
_LINE_ID(101,"/brew/V/libc/time/mi/ctime.c")
char *ctime(t) long *t; { return (char *)0; }
_LINE_ID(108,"/brew/V/libc/time/mi/ctime.c")
struct tm *localtime(tim) long *tim; { return (struct tm *)0; }
_LINE_ID(155,"/brew/V/libc/time/mi/ctime.c")
struct tm *gmtime(tim) long *tim; { return (struct tm *)0; }
_LINE_ID(217,"/brew/V/libc/time/mi/ctime.c")
char *asctime(t) struct tm *t; { return (char *)0; }
_LINE_ID(286,"/brew/V/libc/time/mi/ctime.c")
long time(timeLoc) long *timeLoc; { return (long )0; }
_LINE_ID(296,"/brew/V/libc/time/mi/ctime.c")
int ftime(timeInfo) struct timeb *timeInfo; { return (int )0; }
_LINE_ID(310,"/brew/V/libc/time/mi/ctime.c")
int stime(currentTime) long *currentTime; { }
_LINE_ID(12,"/brew/V/libc/time/mi/delay.c")
int Delay(seconds,clicks) { return (int )0; }
_LINE_ID(12,"/brew/V/libc/time/mi/gettime.c")
long GetTime(clicksptr) int *clicksptr; { return (long )0; }
_LINE_ID(16,"/brew/V/libc/time/mi/remotetime.c")
int GetRemoteTime() { return (int )0; }
_LINE_ID(12,"/brew/V/libc/time/mi/settime.c")
int SetTime(seconds,clicks) { }
_LINE_ID(7,"/brew/V/libc/time/mi/sleep.c")
int sleep(seconds) unsigned seconds; { }
_LINE_ID(26,"/brew/V/libc/time/mi/timezone.c")
char *timezone(zone,dst) { return (char *)0; }
_LINE_ID(12,"/brew/V/libc/time/mi/wakeup.c")
SystemCode Wakeup(pid) ProcessId pid; { return (SystemCode )0; }
