MCRBT_OPT="-m `./utils/gen_mem_chunks.sh "0" 20M 128`"
DUMP_OPT="-d 24"
USR_PROC="mcexec_test_proc/test_pt_1gb_1time"
BELOW_CASES="0011_linux 0012_linux"