(*) Add lazy compatibility with version 13.