Update value.hpp