/* A dummy header file containing no information; just to keep
 * the compiler satisfied with unchanged lexer
 */