Erlang R16 is allowed