#include<stdio.h>
#include<stdlib.h>



int main(int argc, char ** argv){
	int x = atoi(argv[1]);
	printf("x = %d\n", x);
	
	asm("mov $42, %%rax" : : : "rax");


	printf("x = %d\n", x);

	return 0;
}