/* CB_SYS_time doesn't implement the Linux time syscall; the return   value isn't written to the argument.  */#include <time.h>#include <stdio.h>#include <stdlib.h>intmain (void){  time_t x = (time_t) -1;  time_t t = time (&x);  if (t == (time_t) -1 || t != x)    abort ();  printf ("pass\n");  exit (0);}