added test case for non-NULL parameter to time()

c/src/tests/psxtests/psx01/init.c

@@ -22,6 +22,7 @@ void *POSIX_Init(
   int             priority;
   pthread_t       thread_id;
   time_t          seconds;
+  time_t          seconds1;
   time_t          remaining;
   struct tm       tm;
   struct timespec tv;
@@ -59,6 +60,11 @@ void *POSIX_Init(
   seconds = time( NULL );
   printf( ctime( &seconds ) );
 
+  /*  just to have the value copied out through the parameter */
+  
+  seconds = time( &seconds1 );
+  assert( seconds == seconds1 );
+
   /* check the time remaining */
 
   printf( "Init: seconds remaining (%d)\n", (int)remaining );