what is the statement regarding CIL and compiler warnings that are not
triggered in the original code, but that appear after the translation? I
am seeing some of these when trying to compile OpenSSL (it is triggering
-Wshadow for instance). Should I report those or is the warning
behaviour just something that the CIL translation doesn't aim to preserve?