It can be annoying to use parameter names as specified by standard, so a separate `CheckABI` is supported.
The only method missing is name, because it is provided in manifest.