[   41.413083][  T264] packetdrill (264) used greatest stack depth: 24448 bytes left