1#ifndef PPL_BUGS_hh
2#define PPL_BUGS_hh 1
3extern const char* const BUGS_array[23];
4#endif // !defined(PPL_BUGS_hh)
5