[  241.580317][ T1600] packetdrill (1600) used greatest stack depth: 24376 bytes left