proc foo*(): string =
  return "correct"

echo("hello")