JLEAF_SIZE
case JLEAF_SIZE:
case JLEAF_SIZE:
case JLEAF_SIZE:
jrecord_leaf(jrec, JLEAF_SIZE, &attr.va_size, sizeof(attr.va_size));
jrecord_leaf(jrec, JLEAF_SIZE, &vat->va_size, sizeof(vat->va_size));