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