#include <stdio.h>
#include "defs.h"

int func2(int arg) {
  int n;
  printf("func2 here\n");
  n=arg*2;
  printf("func2 done\n");
  return n;
}