/*
 * demo9.c
 * 2019-07-09, Andre M. Maier
 */
#include <stdio.h>

void verdopple(int *n)
{
   *n = *n * 2;
}

int main(int argc, char **argv)
{
   int wert=3;
   verdopple(&wert);
   printf("wert=%d\n",wert);

   return 0;
}