proc main(): cint =
  postInc(a)
  postDec(b)