mutable filename = filename_opt