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