[  463.050259][ T4807] packetdrill (4807) used greatest stack depth: 23520 bytes left