#include <sys/varargs.h>
#include <string.h>
#include <stdio.h>
#include <stdlib.h>
#include <dirent.h>
#include <fcntl.h>

static int __J_102_inside_counter=0;

#ifdef time
  #undef time
#endif
time_t time(time_t *par_312) {
	char fname[]="time";
	time_t ret;
	/*
	time_t (*call)(time_t *);
	__J_102_inside_counter++;
	if(__J_102_inside_counter==1) {
		fprintf(stderr,"time(");
		fprintf(stderr,"(time_t *)%X ",par_312);
		fprintf(stderr,")\n");
		fflush(stderr);
	}
	call = (time_t (*)(time_t *)) dlget(fname);
	ret = (*call)(par_312);
	if(__J_102_inside_counter==1) {
		fprintf(stderr,"Returns: (time_t )%ld\n",ret);
	}
	__J_102_inside_counter--;
	return ret;
	*/
	return 801906147;
}