Erlang stdlib extensions