I have a single use case, and its complicated by my clumsiness and new relationship with ocaml. I'm not sure how to query libraries for various restrictions: Basically, I'm writing a piqi based rpc service; the toil utility (utils/ toil.ml) can be used to parse some string arguments, read a file from the name given on the command line, and then output the BIL to stdout. I want to link with it as though it were a library in order that the returned data structured can be reasoned about in other languages. I have all the other parts-piqi build environment, compilation, setup; all I need is a good way to find a transform that accepts a string filename and returns a type of stmt. I'm not sure who all is familiar with BAP, but I think it's worth a try to ask if anybody knows exactly what I'm looking for, or the utility to find out. BAP: https://github.com/argp/bap