EXCLUDE_QUERY_DIR
B ../../_build/default/src/lib/.psmt2Frontend.objs/byte
S .
FLG -open Psmt2Frontend -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs
