[   13.079237][  T256] packetdrill (256) used greatest stack depth: 24200 bytes left