3.14: remove guards in get_*_value/3