#include <stdlib.h>
#include <stdio.h>
#include <string.h>
int main(int argc, char *argv[])
{
	char line[1024];
	long line_no = 1;
	char *file = "-";
	while (fgets(line, sizeof(line), stdin)) {
		int len = strlen(line);
		if (len && line[len-1] == '\n') {
			line[len-1] = '\0';
			--len;
		}
		if (len && isspace(line[len-1]) && strspn(line, " \t") < len) {
			fprintf(stderr, "trailing space at line %ld\n", line_no);
			exit(1);
		}
		printf("%s %ld: %s (%ld)\n", file, line_no, line, len);
		++line_no;
	}
}