dbg_opt=dbg_opt|DBG_INSTR;//default

					dbg_opt=dbg_opt|DBG_INSTR;//default

					i--;

					i--;

					printf(" instructions by default\n");

					printf(" instructions by default\n");

				}

				}

				while(argv[i][j]!='\0'){

				while(argv[i][j]!='\0'){

			}

			}

		}

		}

	}

	}

}

}