See the last paragraph of this page: https://lkesteloot.github.io/alice/alice4/