/*+JMJ
 loctime - print date and time in user's local time zone
 Copyright 2011 David Meyer <papa@freeshell.org>

 Target platform: TOPS-20
*/

#include <stdio.h>
/*
#include <time.h>
*/

int main(int argc, char **argv)
{
  printf("%s\n", time(NULL));
  exit(0);
}