let print_err = print_msg ~pre:"ERROR"