[   23.057504][  T232] packetdrill (232) used greatest stack depth: 24352 bytes left