let hide_unused = ref (fun () -> false)