main(a,b){printf("def %s(x):\n    return x+%s",gets(b),b+3);}