x:"x:~s;
printf(?t,~s,x,x);";
printf(?t,"x:~s;
printf(?t,~s,x,x);",x,x);