R = ATerm.the_world.parse("snd-value(answer(f(4, 3.2)))");
R = ATerm.the_world.parse("snd-value(answer(f(4, 3.2){[label,val]}))");
  ATerm question(ATermAppl a0)  {    ATerm R = null;    System.out.print("question called: a0=");    a0.println(System.out);    try {      R = ATerm.the_world.parse("snd-value(answer(f(4, 3.2)))");    } catch (ParseError e) { System.err.println("parse failure!"); }    return R;  }