Pages 224 and 225 of the Revised Algol 68 Report