#include <stdio.h>

int some_c_function(int x)
{
    printf("Some C function has been called. (arg: %d)\n", x);
    return 123;
}