functor:synth2 functor:synth functor:syn-rules flag:DLL=null.tgt