debug_mikes();