Removing Memory Errors from 64-Bit Platforms

main(argc, argv)                    	/* line 1 */ 
int argc;                           	/* line 2 */ 
char *argv[];                       	/* line 3 */ 
{                                   	/* line 4 */ 
  int c=0;                          	/* line 5 */ 
  int a, b;                         	/* line 6 */ 
                                    	/* line 7 */ 
  a = atoi(argv[1]);                	/* line 8 */ 
  b = atoi(argv[2]);                	/* line 9 */ 
  if(a < 3){                        	/* line 10 */ 
    printf("Got less than 3\n");    	/* line 12 */ 
    if(b > 5)                       	/* line 13 */ 
      c = 2;                        	/* line 14 */ 
  }                                 	/* line 15 */ 
  else                              	/* line 16 */ 
    printf("Got more than 3\n");    	/* line 17 */ 
 exit(0);                           	/* line 18 */ 
}                                   	/* line 19 */

Example 2: Equivalent mutant.