DB<1> %x=(a=>1)

  DB<2> $a= \$x{b}

  DB<3> p exists $x{b}
1
  DB<4> p exists $x{a}
1
  DB<5> p exists $x{c}

  DB<6>