IMPLEMENTATION MODULE IntStack = GStack(INTEGER);
END IntStack.