[  735.528003][ T8127] packetdrill (8127) used greatest stack depth: 24496 bytes left