[ List ] maximum

☞ x ≔ List ← 8 ; 4 ; 2 ; 16.
☞ y ≔ x maximum.
✎ write: y, stop.
16