number_nonempty
case number_nonempty:
numbering_properties[section].type = number_nonempty;
{ "body", number_nonempty, { 0, 0, 0, 0 } },
