user: Translate the below assembly code into C programming language:

```asm
<scrinc>:
  endbr64
  lea    D19(%rip),%rax
  lea    D18(%rip),%rdx
  cmp    %rdi,%rax
  lea    D12(%rip),%rax
  cmovne %rdx,%rax
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D19
datatype: string
name: extract_symbolic_data
arguments: data_tag: D18
datatype: string
name: extract_symbolic_data
arguments: data_tag: D12
datatype: string

tool: D19: HF

tool: D18: 
\definecolor{codegreen}{rgb}{0,0.6,0}
\definecolor{codegray}{rgb}{0.5,0.5,0.5}
\definecolor{codepurple}{rgb}{0.58,0,0.82}
\definecolor{backcolour}{rgb}{0.95,0.95,0.92}

      \lstdefinestyle{mystyle10}{
      backgroundcolor=\color{codegray},   
      commentstyle=\color{magenta},
      keywordstyle=\color{blue},
      linewidth=3.5in,
      numberstyle=\tiny\color{codegray},
      stringstyle=\color{codepurple},
      basicstyle=\footnotesize,
      breakatwhitespace=false,         
      breaklines=true,                 
      captionpos=b,                    
      keepspaces=true,                 
      numbers=left,                    
      numbersep=5pt,                  
      showspaces=false,                
      showstringspaces=false,
      showtabs=false,                  
      tabsize=2
      }
\begin{lstlisting}[language=c,style=mystyle10]
#include <stdlib.h>
#include <string.h>
void main(){
char* test = "Hello World! From c";
output( scrinc("HF") );
\end{lstlisting}
          

tool: D12: 
\definecolor{codegreen}{rgb}{0,0.6,0}
\definecolor{codegray}{rgb}{0.5,0.5,0.5}
\definecolor{codepurple}{rgb}{0.58,0,0.82}
\definecolor{backcolour}{rgb}{0.95,0.95,0.92}

      \lstdefinestyle{mystyle10}{
      backgroundcolor=\color{codegray},   
      commentstyle=\color{magenta},
      keywordstyle=\color{blue},
      linewidth=3.5in,
      numberstyle=\tiny\color{codegray},
      stringstyle=\color{codepurple},
      basicstyle=\footnotesize,
      breakatwhitespace=false,         
      breaklines=true,                 
      captionpos=b,                    
      keepspaces=true,                 
      numbers=left,                    
      numbersep=5pt,                  
      showspaces=false,                
      showstringspaces=false,
      showtabs=false,                  
      tabsize=2
      }
\begin{lstlisting}[language=c,style=mystyle10]
<script=c:action={!!sid=c1!!}>
#include <stdlib.h>
#include <string.h>
void main(){
char* test = "Hello World! From c";
output( scrinc("HF") );
</script>\end{lstlisting}
          

assistant: ```c
char *scrinc(char *arg) {
  char *temp;
  if (arg == "HF") {
    temp = "\n\\definecolor{codegreen}{rgb}{0,0.6,0}\n\\definecolor{codegray}{rgb}{0.5,0.5,0.5}\n\\definecolor{codepurple}{rgb}{0.58,0,0.82}\n\\definecolor{backcolour}{rgb}{0.95,0.95,0.92}\n\n      \\lstdefinestyle{mystyle10}{\n      backgroundcolor=\\color{codegray},   \n      commentstyle=\\color{magenta},\n      keywordstyle=\\color{blue},\n      linewidth=3.5in,\n      numberstyle=\\tiny\\color{codegray},\n      stringstyle=\\color{codepurple},\n      basicstyle=\\footnotesize,\n      breakatwhitespace=false,         \n      breaklines=true,                 \n      captionpos=b,                    \n      keepspaces=true,                 \n      numbers=left,                    \n      numbersep=5pt,                  \n      showspaces=false,                \n      showstringspaces=false,\n      showtabs=false,                  \n      tabsize=2\n      }\n\\begin{lstlisting}[language=c,style=mystyle10]\n<script=c:action={!!sid=c1!!}>\n#include <stdlib.h>\n#include <string.h>\nvoid main(){\nchar* test = \"Hello World! From c\";\noutput( scrinc(\"HF\") );\n</script>\\end{lstlisting}\n          ";
  } else {
    temp = "\n\\definecolor{codegreen}{rgb}{0,0.6,0}\n\\definecolor{codegray}{rgb}{0.5,0.5,0.5}\n\\definecolor{codepurple}{rgb}{0.58,0,0.82}\n\\definecolor{backcolour}{rgb}{0.95,0.95,0.92}\n\n      \\lstdefinestyle{mystyle10}{\n      backgroundcolor=\\color{codegray},   \n      commentstyle=\\color{magenta},\n      keywordstyle=\\color{blue},\n      linewidth=3.5in,\n      numberstyle=\\tiny\\color{codegray},\n      stringstyle=\\color{codepurple},\n      basicstyle=\\footnotesize,\n      breakatwhitespace=false,         \n      breaklines=true,                 \n      captionpos=b,                    \n      keepspaces=true,                 \n      numbers=left,                    \n      numbersep=5pt,                  \n      showspaces=false,                \n      showstringspaces=false,\n      showtabs=false,                  \n      tabsize=2\n      }\n\\begin{lstlisting}[language=c,style=mystyle10]\n#include <stdlib.h>\n#include <string.h>\nvoid main(){\nchar* test = \"Hello World! From c\";\noutput( scrinc(\"HF\") );\n\\end{lstlisting}\n          ";
  }
  return temp;
}
```