#include <stdio.h>

void multiply_by_two (int *val)
{
  *val = (*val) * 2;
}

int main()
{
  int i = 4;
  multiply_by_two (&i);
  printf ("%d\n", i);

  return 0;
}