Re: pigeonhole tests crashing in deleteheader.svtest