( d1 d2 -- f ) : d> d- d0> ;