Create verifnumregnat.c