#include "defs.h"

void func1(int arg) {
  int j;
  j=arg*2;
  return j;
}