Using only one `-dotimes'

Two versions of -dotimes were doing the samething, finally sticking with
only one shorter version. Removing the macro inc! as it is no longer
required