Python header snippet.