Do we want to declare this inside of main? At least explicitly explaining that this is possible would be good.