Erlang examples