utop snippets