let
get_file t = t.file