pub type Id = u32;
A symbol’s index into the table. u32 is the width J’s own type code implies and leaves an array of symbols half the size of one of boxes.
u32