Скажите, где здесь ошибка?

Помимо того, что а должно быть целого типа, у вас значение, которое присвоено переменной а никак не используется. а определена, как внутренняя переменная в процедуре, а значение присваивается в конце всей процедуры.