A MarkStatement has no effect. It exists solely as a
place to hang annotations. For example, the ``line'' annotation is
often put on MarkStatements inserted in statement lists
to mark which source line and file correspond to a particular place in
the StatementList.
