[   18.805341][  T225] packetdrill (225) used greatest stack depth: 24272 bytes left