#include <linux/unistd.h>#include <sys/time.h>#include <time.h>#include <stdio.h>_syscall1(long,pedagogictime,struct timeval*,tv)int main(){	struct timeval t;	int ret;	ret = pedagogictime(&t);	printf("%s",ctime(&(t.tv_sec)));	return 0;}