with Sorok;
package Int_Sorok is new Sorok(Integer);