This can be defined at the end of the file, with the rest of the private stuff.