Erlang ERTS interface.