value_from_trans  443 src/search_full.cpp                min_value = value_from_trans(trans_min_value,height);
value_from_trans  450 src/search_full.cpp                max_value = value_from_trans(trans_max_value,height);
value_from_trans   46 src/value.h    extern int  value_from_trans (int value, int height);