[   49.765752][  T457] packetdrill (457) used greatest stack depth: 24288 bytes left