let show_documentation = ref false