erlang: implementing F18A