A non production-ready flash loan program that showcase the use of instruction introspection with Pinocchio.