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