# selection
Human review: pending. Expected output was independently traced by AI, not captured from cpsc.
Basis: CIE pp. 18-19.
Trace: X=4 enters both IFs and the first inclusive range. CASE stops before the later matching 4 label. X=9 selects OTHERWISE.