Hi Raad, > opt -load ..../Decorator.so -dec <prog.bc> /dev/null > > how can i store the modified bitcode on the disc (as bitcode or as human-readable assembly)? opt -load ..../Decorator.so -dec <prog.bc> new_prog.bc Ciao, Duncan.