proc main() =
  echo "ok"