Some rust snippets