let
add_file t f = t.files <- f :: t.files