These definitions should be at the top of the file.