# Unknown mathematical heuristics, consistency checks, validation checks,
# are eventually managed with exit(1): this looks as a clumsy DEBUG policy
# rather than a design issue, nevertheless it is unlikely to be fixed
# by the upstream maintainer as the involved events must be considered as
# mathematically impossible.
# Out of memory events are also eventually managed with exit(1): this looks
# as a clumsy emergency exit policy rather than a design issue that may be
# revisited only to please lintian(1).
exit-in-shared-library

# The upstream source contains C++ code with a defined API but without ABI.
no-symbols-control-file
