val hw_identifier : unit -> string