VERNAC EXTEND
fixup stm
fixup verbosity