`0:{" "{(2$x)" "<y}':x}\*0:`