[   28.000784][  T266] packetdrill (266) used greatest stack depth: 24816 bytes left