HAVAL (V.1) CERTIFICATION DATA 
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

PASS=3, FPTLEN=128:
HAVAL("") = C68F39913F901F3DDF44C707357A7D70

PASS=3, FPTLEN=160:
HAVAL("a") = 4DA08F514A7275DBC4CECE4A347385983983A830

PASS=4, FPTLEN=192:
HAVAL("HAVAL") = 0C1396D7772689C46773F3DAACA4EFA982ADBFB2F1467EEA

PASS=4, FPTLEN=224:
HAVAL("0123456789") = BEBD7816F09BAEECF8903B1B9BC672D9FA428E462BA699F814841529

PASS=5, FPTLEN=256:
HAVAL("abcdefghijklmnopqrstuvwxyz")
      = C9C7D8AFA159FD9E965CB83FF5EE6F58AEDA352C0EFF005548153A61551C38EE
HAVAL("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789")
      = B45CB6E62F2B1320E4F8F1B0B273D45ADD47C321FD23999DCF403AC37636D963