proc main(): int =
  return 0
# got it optimized