add_executable(bug1 bug1.cc)