只用赋值、自增和循环操作实现减法运算

想这样一个计算机系统，它只支持以下几个操作：
1. 定义变量、给变量赋值；
2. 变量自身加一；
3. 令一段语句循环执行指定的次数。
这个系统只处理且只能处理0和正整数。系统不存在“溢出”的问题。
注意这个系统没有比较运算，事实上它甚至不存在Boolean值和判断语句。
循环语句也不是FOR i=a TO b DO的形式，只能是LOOP n的形式。

   在这个系统上实现加法很容易，让a自增b次即可。现在的问题是，你能在这个系统上实现减法吗？

问题的关键在于如何实现自减一操作。
本来让-1自增n次即可实现n的自减的，但系统偏偏又不支持负数。
网友Dingding给出了一个答案：

dec(int n){

tmp = 0
result = 0
loop(n) {
result = tmp//result永远比tmp少1,巧妙地减少了一次自增
tmp++
}

return result;

}

   这段代码执行后，result的值将变为n-1。注意到这段代码在自增时是如何巧妙地延迟了一步的。
现在，我们相当于有了自减一的函数dec。实现a-b只需要令a自减b次即可：

result = a
loop(b) {
dec(result)
}