/*
 * Copyright ©2026 Soham Pardeshi. All rights reserved.
 * Permission is hereby granted to students registered for University of
 * Washington CSE 333 for use solely during Summer Quarter 2026 for
 * purposes of the course. No other use, copying, distribution, or
 * modification is permitted without prior written consent. Copyrights
 * for third-party components of this work must be honored. Instructors
 * interested in reusing these course materials should contact the author.
 */

#include <stdio.h>
#include <stdlib.h>

// Doubles the value n points to.
void Double(int* n) {
  *n = *n * 2;
}

int main(int argc, char* argv[]) {
  int x = 5;
  int* addr = &x;
  Double(addr);
  printf("x = %d\n", x);  // 10
  return EXIT_SUCCESS;
}