#include <stdio.h>
#include <tlmplib.h>

<mod>
int main (int argc, char *argv[])
{
	for (int i=1; i<argc; i++){
		<call loadfile>(argv[i],true);
		<f oneline>
			printf ("%3d-%s\n",noline,line);
			return 0;
		</f>
		</call>
	}
	return 0;
}
</mod>