2.1.2 Pseudocode

All array indexing in pseudocode in this document is zero-based.