#include <stdio.h>

extern void mul_(int *a, int *b, int *c);

int main(){
  int a = 2;
  int b = 3;
  int c;
  mul_(&a, &b, &c);
  printf("c: %d\n", c);
}