at c, linux_format_time.c