// if libmisc has no sources, it doesn't get built correctly
int gr_bug_work_around_8;