#include <stdio.h>

extern unsigned long some_heavy_stuff(int lima, int limb);

int main(void) {
  int lima = 1000;
  int limb = 1000;
  printf("Hello from blistering C: \n");
  printf("Doing stuff: \n");
  unsigned long result = some_heavy_stuff(lima, limb);
  printf("Result is %lu", result);
}