mutable file = (None : string option)