debug_print() added