dump: Ignore an empty inner_end in dump_value_31().