Require Import String. (* comment *) Check "multiline string"%string. (* multiline comment *) (* recursion in (* a comment *) to complicate things *)