/* 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>
int
main (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);
}