function do_void() {
}