/home/anders/genmc/genmc --imm -disable-mm-detector load_buffering.c