[  252.063966][ T2600] packetdrill (2600) used greatest stack depth: 23376 bytes left