A compiler to Erlang VM, via Erlang abstract format