option_get_string   21 src/option.h   extern const char * option_get_string (const char var[]);
option_get_string   91 src/protocol.cpp          book_open(option_get_string("BookFile"));
option_get_string  128 src/search_full.cpp    string = option_get_string("NullMove Pruning");
option_get_string  148 src/search_full.cpp    string = option_get_string("Verification Search");