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"