void PointerDereference(int *i, int j) {
  j = *i;
}