Snippets for convenient code headers and section labels