[  420.788858][ T4486] packetdrill (4486) used greatest stack depth: 23272 bytes left