function do_nothing() { }