sig val perroquet : unit -> unit end