corresponds to Erlang