let pretty = ref false