the final (?) modification to this debug_print()