name: monokai decorator: code_snippet sequence: 5 ‡‡‡‡‡‡‡‡‡‡‡‡‡‡