let strict_parsing_warning = ref false