proc main(): cint =
  addr a
  b[]
  +c
  -d
  not e
  not f