RE: Unqualified names for -ddump-splices?