[  237.020981][ T1487] packetdrill (1487) used greatest stack depth: 23728 bytes left