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

int m;



int duplicate (int n) {

   n = 2*n;
   return n;
}

int main () {


  int k;

  m = 4;

  k = duplicate (m);

  printf ("The value of k is %d\n", k);
  
  exit (0);

}