dumping formal args