pub const INTS: u8 = 10 /* 10u8 */;
A list of ints without a tag each: what a schema of numbers writes its lists as.