tigress --Environment=x86_64:Darwin:Clang:5.1 --Verbosity=1  \
   --Transform=InitOpaque --Functions=main \
   --Transform=Merge --Functions=fac,fib \
   --Transform=Flatten --Functions=/.\*fac_fib.\*/ \
   --Transform=RndArgs --RndArgsBogusNo=2?5 --Functions=/.\*fac_fib.\*/ \
   --Transform=EncodeLiterals  --Functions=/.\*fac_fib.\*/ \
   --Transform=Virtualize --Functions=/.\*fac_fib.\*/ --VirtualizeDispatch=ifnest \
   --Transform=UpdateOpaque --Functions=/.\*fac_fib.\*/ --UpdateOpaqueCount=10 \
   --Transform=AddOpaque --Functions=/.\*fac_fib.\*/ --AddOpaqueCount=10  --AddOpaqueKinds=call,bug,true \
   --Transform=Split --Seed=0 --SplitKinds=deep,block,top --SplitCount=100 --Functions=/.\*fac_fib.\*/ \
   --Transform=CleanUp --CleanUpKinds=annotations \
   --out=gen/merge-flatten-virtualize.c test1.c