Searched defs:poolResName (Results 1 – 1 of 1) sorted by relevance
319 const char *poolResName = "pool.res"; in main() local332 const char *poolResName = "pool.res"; in main() local