/* library that should satisfy no symbols relevant to library search */
int dummy___;