Introduce the revised coding style.