Factor out trailing match_bytes() from dump_value().