/* Empty header file just used to test header generation. */
