formatStmt (Prints (Printf str []) _) =
  text "printf" <> parens (text (show str))
formatStmt (Prints (Printf str []) _) =
  text "printf" <> parens (text (show str))
formatStmt (Prints (Printf str []) _) =
  text "printf" <> parens (text (show str))