An Erlang translator wirh code security check written in Erlang