Написать спецификацию, отражающие следующие требования.
Пусть есть глобальные переменные
int *maxValues;
int maxValuesCount;
Пусть есть функция
void action(int v);
Переменная maxValuesCount предназначена для хранения размера массива maxValues.
Массив maxValues предназначен для хранения maxValuesCount максимальных по значению различных аргументов функции action() в порядке убывания.
При спецификации можно расчитывать, что других функций, изменяющих maxValues и maxValuesCount не существует.