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