w( "main(a){printf(a=" "%c" ",34,a,34);}" )
w( "\x22" "%s" "\x22" )
    tuck
z1