expensive_assert (caseproto_equal (case_get_proto (c), 0,
writer->proto, 0, n_widths));
writer->class->write (writer, writer->aux, c);
expensive_assert (caseproto_equal (case_get_proto (c), 0,
writer->proto, 0, n_widths));
writer->class->write (writer, writer->aux, c);