Why are these at the top level of the file?