let pretty fmt v = pretty_stmt fmt v