Token-based menu for NTL library LLL functions.  C++