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

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