__pack_quadruple
extern void __pack_quadruple(unpacked *, quadruple *,
__pack_quadruple(&u, px, pm->rd, &ef);
__pack_quadruple(&u, px, rd, ps);