#include <time.h>
unsigned long osic_time(void)
{
        return time(NULL);
}