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