proc main(): cint =
  a[postInc(i)]