assume an Erlang app