tree 3ad3e842f3ffbf318fd5beaf452d169d6355c5c0
parent f499993cb289964ab052b702951b1e248d7a875b
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1376319965 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1377024363 +0200

PK: use wrappers and function pointers for verify