We need to fix mab_process.c to work properly with arguments: divide the
number of instructions by two in the random choice phase, then multiply
your randomy chosen number by two to ensure that you only select
even-numbered instruction numbers.