Hello @Leonid ,
Ctrl+Enter sends a newline character to Arduino; you have newline selected and this is shown in your picture.
A newline character is ‘\n’ which is 10 decimal.
This is received by the Arduino and sent back to the Arduino Monitor using your code example:
Serial.println(butt) // butt = 10;
I can reproduce this with the Arduino IDE 2.0
:)