def foo(filename): return []