erlang: ret