function do_nothing() {
  return "undefined";
}