6.1. Motivation
6.2. File names
6.3. File format and indentation
6.4. Variable and function names
6.5. Variables and parameters
6.6. Types, constants and expressions
6.7. Functions
6.8. Contracts
6.9. Code structure
6.10. Handling pointers and memory
6.11. Linking and using the Preprocessor
6.12. Tracing
6.13. Design requirements
6.14. Other requirements