The text 86f5ceebaa6f, as Debian 7 (Wheezy) shipped it.
Internal Erlang Definitions
erl_internal(3erl) on Linux now
