[  141.431759][  T925] packetdrill (925) used greatest stack depth: 23880 bytes left