Is it possible that `value` is not terminated here?