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