- case DEFSKIP: result = "defskip"; break;
- case SMALLSKIP: result = "smallskip"; break;
- case MEDSKIP: result = "medskip"; break;
- case BIGSKIP: result = "bigskip"; break;
- case VFILL: result = "vfill"; break;
- case LENGTH: result = len_.asString(); break;