вот такой возник вопрос: есть ли какие-то ограничения на количество формальных параметров в процедуре
На количество - нет (во всяком случае, больше 1000 параметров процедура "держит"). Но здесь главное, чтобы все эти параметры в стек уместились...