[   95.053586][  T931] packetdrill (931) used greatest stack depth: 23104 bytes left