let print_bug = print_msg ~pre:"BUG"