mixed_encode      157 dec.c                { mixed_encode (sblk, cblk, u, v);
mixed_encode       18 enc.h          void mixed_encode  (char *, char *, mod2dense *, mod2dense *);
mixed_encode      153 encode.c             { mixed_encode (sblk, cblk, u, v);