#include <stdio.h>
#include <time.h>

int get_time()  {
        __asm__(
                        "movl  $13,%eax\n"
                        "xorl  %ebx,%ebx\n"
                        "int            $0x80\n");
}

main()  {
        time_t ltime=get_time();
        printf ("%s",ctime(&ltime));
}