#include  <sys/types.h>
#include <time.h>

s48_value scheme_time();

s48_value time_plus_ticks();

extern s48_value time2date(time_t t, s48_value zone,
			      int *sec, int *min, int *hour,
			      int *mday, int *month, int *year,
			      const char **tz_name, int *tz_secs,
			      int *summer,
			      int *wday, int *yday);

s48_value date2time(s48_value sec, s48_value min, s48_value hour,
		    s48_value mday, s48_value month, s48_value year,
		    s48_value tz_name, s48_value tz_secs,
		    s48_value summer);
		    

extern s48_value format_date(const char *fmt, int sec, int min, int hour,
				int mday, int month, int year,
				s48_value tz, int summer,
				int week_day, int year_day,
				const char **ans);