#include <stdio.h>

int mult10(int);

int main()
{
  int asm_val = mult10(2);
  printf("From ASM: %d\n", asm_val);
  return 0;
}