int Sys_FileTime (char *path);
void Sys_mkdir (char *path);
-//
-// memory protection
-//
-void Sys_MakeCodeWriteable (unsigned long startaddr, unsigned long length);
-
//
// system IO
//
void Sys_Quit (void);
-double Sys_FloatTime (void);
+double Sys_DoubleTime (void);
char *Sys_ConsoleInput (void);