#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