print "EXPORTS\n";
foreach (@ARGV) {
	print "\tboot_$_\n"
	};