let translate = ref (fun x -> x)