int
main(int argc, char* argv[]) {
std::string filename = "test_file.json";
std::cout << "filename = " << filename << std::endl;
for(size_t i =0; i < 10; ++i){
}
std::cout << "trace write done" << std::endl;
std::cout << "save write done" << std::endl;
return 0;
}