Разрешено ли приводить указатель первого члена к включающему типу?

По стандарту C допускается приводить указатель на структуру к указателю типа первого члена этой структуры. Однако разрешено ли поступать наоборот?

Рассмотрим следующий пример:

//texture.h
typedef struct HAL_TEXTURE {
  size_t w;
  size_t h;
} HAL_TEXTURE;

HAL_TEXTURE* CreateTexture(size_t w, size_t h, void* data);
void BindTexture(HAL_TEXTURE* texture);

// d3d10/texture.c linked on windows
typedef struct D3D10_TEXTURE { // not visible outside of this translation unit
  HAL_TEXTURE agnostic;
  ID3D10ShaderResourceView* srv;
} D3D10_TEXTURE;

HAL_TEXTURE* CreateTexture(size_t w, size_t h, void* data) {
  D3D10_TEXTURE* texture = calloc(...);
  //...//
  return (HAL_TEXTURE*)texture; // ok, according to standard
}

void BindTexture(HAL_TEXTURE* texture) {
  D3D10_TEXTURE* tex = (D3D10_TEXTURE*)texture; // is this allowed?
  //...//
  //access D3D10 specific stuff here
}

// ogl/texture.c linked on linux
typedef struct OGL_TEXTURE { // not visible outside of TU
  HAL_TEXTURE agnostic;
  GLint id;
} OGL_TEXTURE;

HAL_TEXTURE* CreateTexture(size_t w, size_t h, void* data) {
  OGL_TEXTURE* texture = calloc(...);
  //...//
  return (HAL_TEXTURE*)texture;
}

void BindTexture(HAL_TEXTURE* texture) {
  OGL_TEXTURE* tex = (OGL_TEXTURE*)texture;
  //...//
  //access OpenGL specific stuff here
}

Могу ли я безопасно привести HAL_TEXTURE* (который является первым членом D3D10_TEXTURE и OGL_TEXTURE) к указателю охватывающего типа?