erlang base demo