https://5dok.net/document/zx50r37v-ltxnew-package-provides-renew-provide-prefixes-checking-definitions.html