file: lib_semgrep.jsonnet
