8.5.a. The use of goto statements shall be restricted as per Rule 1.7.c.

8.5.b. C Standard Library functions abort(), exit(), setjmp(), and longjmp() shall not be used.

Reasoning: Algorithms that utilize jumps to move the instruction pointer can and should be rewritten in a manner that is more readable and thus easier to maintain.

Enforcement: These rules shall be enforced by an automated scan of all modified or new modules for inappropriate use of forbidden tokens. To the extent that the use of goto is permitted, code reviewers should investigate alternative code structures to improve code maintainability and readability.