What's the rationale for putting these in a separate file?