ron-0.10: RON