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

#ifndef _TLMP_loadfile
	#error TLMP module loadfile unknown
#endif
#ifndef _F_loadfile_oneline
	#error Unknown logical function oneline for module/class loadfile
#endif

#line 4 "loadfile.tlcc"

int main (int argc, char *argv[])
{
	for (int i=1; i<argc; i++){
		
		
		class __sc_tests_loadfile_tlcc1: public _F_loadfile{
	public:
	__sc_tests_loadfile_tlcc1 ()
	{
	}
	_F_loadfile_oneline( )
	{

#line 9 "loadfile.tlcc"

			printf ("%3d-%s\n",noline,line);
			return 0;
		} // </f>

#line 12 "loadfile.tlcc"
	};
	static __sc_tests_loadfile_tlcc1 _scopeobj1;

#line 8 "loadfile.tlcc"
	::loadfile(_scopeobj1,argv[i],true);
#line 13 "loadfile.tlcc"

	}
	return 0;
}

#line 17 "loadfile.tlcc"