// Preserved header.
//--- out.expected
stale line
