Type Witness Protection Program.