function do_nothing() {
}