instruction addresses passed as string to runtime checker