:aplusb(a,b) :a+b