Tests

def a b√ --
  64

       √ --
de≡fa ≡ b 64