A high performance Erlang system