// RUN: souffle-lint lint --config=config-ignore.yml config-ignore.dl 2>&1
.decl f()