mutable
filename = filename_opt