add_library(constructions OBJECT cases_on.cpp
  init_module.cpp
  util.cpp)
