Value.cpp: Avoid an unused function warning