rename to avoid clash, will eventually merge main.cpp