printouts for debugging of get_flag