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