am 87d8ccb0: am c0f25335: Make pointer casting work.

Merge commit '87d8ccb07ed0aa4ee55dd473c36191892cbcdd6e'

* commit '87d8ccb07ed0aa4ee55dd473c36191892cbcdd6e':
  Make pointer casting work.