The Concurix system for dynamically enhancing the Erlang Virtual Machine