Require Import Coq.Strings.String.

Definition hello:string :=  (* add your definition here *).