; tb.def : Declares the module parameters. EXPORTS