text: #ifndef UU_SPDR_INTERNAL_H
  #define UU_SPDR_INTERNAL_H
  
  #include "inlines.h"
  #include "uu-stdint.h"
  
  spdr_internal uint32_t uu_spdr_get_pid(void);
  spdr_internal uint64_t uu_spdr_get_tid(void);
  
  #endif
  