#include<stdio.h>

asm(	"double_num: \n"
		"	addsd %xmm0, %xmm0\n"
		"	ret\n");

double double_num(double);

int main(){
	printf("double 2.71 is %lf\n", double_num(2.71));
	return 0;
}