Data entry of an int value through Arduino IDE terminal

I have a sketch that runs OK with a fixed uint32_t value in my Arduino Due:

Example:

#define VALUE_1        0x12345678

What I need is, instead of use VALUE_1 as a fixed value, to make it variable through the terminal.
In other words, I need to type for example 0x87654321 in the Arduino IDE terminal and assign that new entry to VALUE_1. How could I do that? Thank you for any help.

Decide on a terminating character. Read data from the Serial buffer into an array until the terminating character, appending a null termintor along the way. Once you have the full string, use sscanf() to turn the hex string into binary.

Thanks Arrch,
I found what I needed using Serial.parseInt() function. Here a sample code:

uint32_t VALUE_1 = 0;

void setup() {
  Serial.begin(9600);
  Serial.println("Type your uint32_t VALUE_1");
  while(Serial.available()==0); 
}

void loop() {
  while (Serial.available() > 0) {

    VALUE_1 = Serial.parseInt(); 
 
    if (Serial.read() == '\n') {
      Serial.print("VALUE_1= ");
      Serial.println(VALUE_1, HEX);
    }
  }
}