with Vermek;
package Int_Vermek is new Vermek(Integer);