I thought you meant to use Fil-C as a kind of sanitizer too. I don't see a point in running Rust code in Fil-C. Due to the way Fil-C works it won't be enough t

I thought you meant to use Fil-C as a kind of sanitizer too. I don't see a point in running Rust code in Fil-C. Due to the way Fil-C works it won't be enough to check the `unsafe` statements, so you'll pay the performance tax on safe code too (onto which you already paid the borrow checker tax!)