extern int simulate;
extern int noverify;
extern int verbose;