//Provides: re_search_forward
function re_search_forward() {
  throw new Error("re_search_forward: not implemented in JS");
}

//Provides: re_replacement_text
function re_replacement_text() {
  throw new Error('re_replacement_text: not implemented in JS');
}

//Provides: re_string_match
function re_string_match() {
  throw new Error('re_string_match: not implemented in JS');
}
