let debug_read = ref false