@spec add(a :: integer(), b :: integer()) :: integer()
@spec sub(a :: integer(), b :: integer()) :: integer()