#include <stdio.h>
int mult10(int);
int main()
{
int asm_val = mult10(2);
printf("From ASM: %d\n", asm_val);
return 0;
}