python: more snippets