function main()
	program = program_name();
	printf("Program: %s", program);
endfunction

main();