let strict_parsing = ref false