IMPLEMENTATION MODULE Buf10 = Buf(10);
END Buf10.