[  511.969842][ T5040] packetdrill (5040) used greatest stack depth: 23728 bytes left