sig val application_name : string end