[Haskell-cafe] P256 assembler implementation