{- -------------------------------------------
  (1) (単なる getter method)
      ---------------------------------------- -}

      static uintptr_t initial_thread_stack_size(void)                  { return _initial_thread_stack_size; }