__pack_double
extern void __pack_double(unpacked *, double *, enum fp_direction_type,
__pack_double(&u, px, pm->rd, &ef);
__pack_double(&u, px, rd, ps);