/sources/nix/nix/sys/src/libmp/386/
       287 2012-04-12 mkfile
       352 2012-04-12 mpdigdiv.s
       906 2012-04-12 mpvecadd.s
      1063 2012-04-12 mpvecdigmuladd.s
       982 2012-04-12 mpvecdigmulsub.s
       767 2012-04-12 mpvecsub.s