Ответ:

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

Ответ: 4) по всему перечисленному.