extern "libmath" {
  fn double_num(int num) int;
}

int initial = 42;
int result = double_num(initial);
printline($"initial value: {initial}, result of external function: {result}");