Erlang OTP versión compila con HiPE?

Después de leer esta pregunta¿Es Erlang la C del mundo de la computación en clúster? , Me pregunto las compilaciones oficiales de Erlang OTP con HiPE?

En otras palabras, cuando compilo mi.erl fuente con la versión R13 de OTP (como ejemplo), ¿produce BEAM "código objeto"?

Mirando ahttp://www.it.uu.se/research/group/hipe/ , ya no parece que se mantenga un compilador HiPE independiente.