В Алголе-68 такие вещи описывались примерно следующим образом: программа (модуль) состоит из элементов (основ), каждая основа выдает значение (void тоже значение). Значение последней основы является значением выражения. В принципе все вроде просто ...