//int nvt_dbg_level;

//void _nvt_dbg(