proc main(): cint =
  sizeof(a)