[   31.659164][  T266] packetdrill (266) used greatest stack depth: 23936 bytes left