#ifndef __INIT_HPP
#define __INIT_HPP
#include <string>
char *userLogPath = "./logs/";
int tkDebugThreshold = 9999999999;
void init(const std::string &system_props_file);
void scenario(int which,const std::string &system_props_file);
#endif