/usr/bin/g++ -DEVAL -std=gnu++20 -O2 -pipe -static -s -o choreography choreography.cpp
/usr/bin/g++ -DEVAL -std=gnu++17 -O2 -pipe -static -s -o choreography choreography.cpp
