#include <stdio.h>

int mult2 (int);


int main ()

{
   int input = 12;
   int num;

   
   num = mult2 (input);

   printf ("%d  %d   0x%08x\n", input, num, num);
}


int mult2 (int y)

{
   int ret;

   ret = y;
   ret += y;

   return ret;
}