@main[]
$a[$.e[a]]
$b[$.e[b]]
^ifpasshashdest[^if(1){$a;$b}]
$x[^if(1){$a}{$b}]
^ifpasshashdest[$x]

@ifpasshashdest[p]
$p.e