test vectors from crlibmhttp://lipforge.ens-lyon.fr/www/crlibm/ format is changed, but original comments are kept