Erlang NIF examples