[   75.950451][  T457] packetdrill (457) used greatest stack depth: 23880 bytes left