PLSysSec/haybale: Symbolic execution of LLVM IR with an engine written in Rustgithub.com/PLSysSec 1sansnomme6ydiscuss