[{stdlib, [{par5,t3},{par6,t3}]}].