post-genesis main.cpp