src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/analysis/bit_utils.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/plugins/e-acsl/src/code_generator/logic_array.ml

src/plugins/reduc/collect.ml

src/plugins/value/domains/cvalue/cvalue_init.ml

src/plugins/value/engine/evaluation.ml

src/plugins/value/utils/widen.ml

tests/syntax/oracle/very_large_integers.4.res.oracle

tests/value/oracle/extern.res.oracle