[   20.155524][  T225] packetdrill (225) used greatest stack depth: 23904 bytes left