#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;
}#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;
}