Merge change 7048

* changes:
  Implement general casts and pointer dereferencing.