#include <stdio.h>

extern int add_asm4.1(int a, int b, int c);

int main() {
    int result = add_asm4.1(5, 10, 15);
    printf("Result: %d\n", result);
    return 0;
}