/* Since building an empty library could cause problems, we provide a
 * function to go into the library. We could make this non-trivial by
 * moving something that flex treats as a library function into this
 * directory. */

extern void do_nothing(void);

void do_nothing(void){ return;}