[  450.284325][ T4040] packetdrill (4040) used greatest stack depth: 24464 bytes left