formatStmt (UserError msg _) =
  text "error" <> parens (text (show msg))
formatStmt (UserError msg _) =
  text "error" <> parens (text (show msg))
formatStmt (UserError msg _) =
  text "error" <> parens (text (show msg))