DK_SUBSCRIPT
designation_push(&$$, DK_SUBSCRIPT, NULL, $3.lo);
if (dr->dr_kind != DK_SUBSCRIPT) {
} else if (dr->dr_kind == DK_SUBSCRIPT) {
designation_push(dn, DK_SUBSCRIPT, NULL, 0);
else if (kind == DK_SUBSCRIPT) {
designation_push(&bl->bl_designation, DK_SUBSCRIPT, NULL, subscript);
if (dr->dr_kind == DK_SUBSCRIPT) {