OCaml does not have line comments, and as far as I can tell neither does Coq. Setting it to '' (like markdown and html do) throws an error that can be handled or displayed instead of inserting the default '#'.
write -atomic
write -method <method>