/* $Header$ */ long time(); long sys_time() { return time(0); }