#!/bin/sh -
arch=`$HOME/Bignum/ark`
path=$HOME/Ecpp
$path/C/$arch/checkcertif $*
