JLEAF_PAD
case JLEAF_PAD:
} else if ((sub.rectype & JTYPE_MASK) == JLEAF_PAD) {
jrecord_write(jrec, JLEAF_PAD|JMASK_LAST, 0);