If possible I'd prefer not to incur the costs of lazy loading a separate file for such a small routine, especially since we don't have another place that needs it as far as I know.