@[extern lean_gcc_jit_version_major]
Get the major version of the GCC JIT library.
@[extern lean_gcc_jit_version_minor]
Get the minor version of the GCC JIT library.
@[extern lean_gcc_jit_version_patchlevel]
Get the patchlevel of the GCC JIT library.