[   16.388564][  T225] packetdrill (225) used greatest stack depth: 23776 bytes left