tigress --Environment=x86_64:Darwin:Clang:5.1 --Verbosity=1  \
   --Transform=RndArgs --Seed=0 --RndArgsBogusNo=2?5 --Functions=fib \
   --Transform=CleanUp --CleanUpKinds=annotations \
   --out=gen/rndArgs.c test1.c