Put these at the top of the file?