[   71.732641][  T474] packetdrill (474) used greatest stack depth: 23888 bytes left