diff -r 183663740fb7 -r 6f3f3dd01786 langs.sty
--- a/langs.sty	Mon Feb 03 01:10:16 2020 +0000
+++ b/langs.sty	Tue Feb 04 09:31:18 2020 +0000
@@ -64,8 +64,10 @@
 }[keywords,comments,strings]
 
 
-\lstdefinelanguage{JVMIS2}{
-  morekeywords={ldc,iload,istore,ifeq,if_icmpge,if_icmpgt,iadd,goto},
+\lstdefinelanguage{JVMIS2}[]{JVMIS}
+{
+  morekeywords={if_icmpgt,if_icmpge}, %{ldc,iload,istore,ifeq,,,goto},
+  %%morecomment=[s]{}{\:}
 }[keywords]
 
 \lstdefinelanguage{LLVMIR}{
@@ -73,6 +75,7 @@
 }[strings]
 
 \newcommand{\code}[1]{{\lstinline{#1}}}
+\newcommand{\instr}[1]{\mbox{\lstinline[language=JVMIS2]{#1}}}
 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}}
 \newcommand{\scode}[1]{\mbox{\lstset{language={},basicstyle=\ttfamily\color{codegreen}}\lstinline!#1!}}
 \makeatother