[   10.387362][  T199] packetdrill (199) used greatest stack depth: 23584 bytes left