
For flagmap documentation read flagmap.h and frontend.cpp in that order.
