Require Import Coq.Strings.String.

Eval compute in ("Hello world!"%string).