Given this code snippet in a Theme Customizer setup:

Given this code snippet in a Theme Customizer setup:

 $wp_customize->add_setting('header_text', [
  'default' => 'Welcome!',
  'sanitize_callback' => 'sanitize_text_field'
]);
$wp_customize->add_control('header_text', [
  'label' => 'Header Text',
  'section' => 'title_tagline',
  'type' => 'text'
]);

What will get_theme_mod('header_text') return if the user has not changed the setting?