#include <stdio.h> #line 100 /* reset the line counter */ int main(void) /* line 100 */ { /* line 101 */ printf("%d\n",__LINE__); /* line 102 */ return 0; }