fn abs(x):integer if x>=0 -> result:=x | x<=0 -> result:=-x fi nf; x:=abs(-3)+abs(12)