The Erlang Runtime System