dump_params()
void dump_params()
dump_params(){	int i;	LOGL1("\n%d parameters\n",param_tbl_top);	for(i=0;i<param_tbl_top;i++){		LOGL1("  %d\t%d\n",			param_tbl[i].parameter,			param_tbl[i].value);	}	fflush(stdout);}