let help =
             "Memory model selection:\n - 'Hoare':  no indirect access to the memory\n - 'Store':  no heterogeneous casts (default)\n - 'Runtime': low-level model"