Erlang syntax