Wrap vextranslate a bit more in static translation. Add Radare file loader example.