Hunta, это нельзя вычислить на этапе компиляции, если процедурам B и C требуется разное количество памяти для локальных переменных.