if x > 0 then
   res := x;
else
   res := -x;
end if;