[   25.281652][  T264] packetdrill (264) used greatest stack depth: 23560 bytes left