[   25.413518][  T266] packetdrill (266) used greatest stack depth: 23712 bytes left