(lavaca) code style.