a:?read\-line();printf(?t,"def ~a(x):
    return x+~a",a,substring(a,4));