Some zone pseudocode