clarification on erlang VM