/sources/nix/nix/sys/src/libmp/amd64/
       294 2012-04-12 mkfile
       362 2012-04-12 mpdigdiv.s
       927 2012-04-12 mpvecadd.s
      1083 2012-04-12 mpvecdigmuladd.s
       978 2012-04-12 mpvecdigmulsub.s
       788 2012-04-12 mpvecsub.s