Title: Algol compiler library procedures