[  441.370534][ T4040] packetdrill (4040) used greatest stack depth: 24096 bytes left