`0:$8{<x,x}/0