/*
 * Adds a timestamp before every line.
 *
 * Author: Peter Wu <lekensteyn@gmail.com>
 * Date: 2013-10-04
 */
#include <stdio.h>
#include <time.h>
#include <string.h>
#include <stdlib.h>

int main() {
	char buf[4096];

	while (fgets(buf, sizeof(buf), stdin) != NULL) {
		char *newline = strrchr(buf, '\n');
		struct timespec tp;

		clock_gettime(CLOCK_MONOTONIC, &tp);

		if (newline)
			*newline = '\0';

		printf("[%5llu.%06lu] %s\n",
			(long long) tp.tv_sec,
			tp.tv_nsec / 1000,
			buf);
	}

	return 0;
}