# Pretty name of the resulting application
	var name: String = mainmodule.first_real_mmodule.name is lazy