[  467.567158][ T4378] packetdrill (4378) used greatest stack depth: 24312 bytes left