let descr = "set the memory model (between 0 and 3)\n"^
        "0 : use variables, no indirect access;\n"^
        "1 : use variables, indirect access but no alias (caveat model);\n"^
        "2 : use load/store to memory, typed (abstract) addresses;\n"^
        "3 : use load/store to memory, casts, etc\n"