/* 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_tx=(time_t)-1;time_tt=time(&x);if(t==(time_t)-1||t!=x)abort();printf("pass\n");exit(0);}