Первая домашняя работа блока спецификации

Написать контракт ACSL для сигнатуры заданной функции, соответствующий данному требованию.

1. Функция unsigned long irand2(void). Требование: функция возвращает число, у которого (в битовом представлении) установлено в единицу строго два бита.
2. Функция unsigned long irandn(int n). Требование: функция возвращает число, у которого (в битовом представлении) установлено в единицу строго n бит.