let int_sequence_default = { char_sequence_default with sequence = `int_sequence }