let veryverbose = ref false