ArabTeX testing the first code

ArabTeX is a package for LaTeX to write beautiful arabic letters.
In codes, no Arabic characters are used.

\documentclass[a4]{article}
\usepackage{arabtex}
\begin{document}
\setarab
\fullvocalize
\transtrue
\arabtrue
\begin{RLtext}
bismi al-ll ahi al-rra.hm_ani al-rra.hImi
\end{RLtext}
\end{document}