What's this line at the top of the file?