[   26.146114][  T264] packetdrill (264) used greatest stack depth: 24712 bytes left