go2 =>
  T = "2**16+1",
  println(t=T),
  parse_term(T,Term, _Vars),
  println(term=Term),
  println(apply=Term.apply).