// dummy text you can use as a temporary child for a lazy-filled node
sS jDynamicTree_dummy_value = new String("<dummy>");

sS jDynamicTree_dummy() {
  ret jDynamicTree_dummy_value;
}