554 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none]

   554 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none]

   555 .method public static facT(II)I 

   555 .method public static facT(II)I 

   556 .limit locals 2

   556 .limit locals 2

   557 .limit stack 6

   557 .limit stack 6

   558   iload 0

   558   iload 0

   560   if_icmpne If_else_2

   560   if_icmpne If_else_2

   561   iload 1

   561   iload 1

   562   goto If_end_3

   562   goto If_end_3

   563 If_else_2:

   563 If_else_2:

   564   iload 0

   564   iload 0