m:-get0(X),X>0,(X>0;put(X)),m.