[  516.069464][ T4254] packetdrill (4254) used greatest stack depth: 23824 bytes left