Как реализовать вычитание, используя только цикл и приращение

Это вопрос интервью. У нас есть только две конструкции

1. loop(a)означает цикл для a раз.
2. приращение(a)приращение a.

Таким образом, для реализации a+b можно написать

loop(a) {inc(b)} 
return b;

Вопрос в том, как реализовать a-b.