pub const F_LABEL: u8 = 0x05;
Typed family: (label, record ordinal) label membership.
(label, record ordinal)