(module Verbatim)