[   22.440941][  T264] packetdrill (264) used greatest stack depth: 23888 bytes left