[  217.671631][ T1502] packetdrill (1502) used greatest stack depth: 24024 bytes left