Понял (точнее, прочитал), почему такой большой экзешник получается  в Windows. К нему статически линкуется runtime-библиотека.
И как определяютя переменные процедурного типа, тоже понял. Довольно простой язык.