Merge changes Ib623f1a5,I058c963d,I63f00004

* changes:
  HAL test: statically test the last member of structs
  HAL test: statically test the offsets of known struct members
  HAL test: statically test the size of HAL structs