Hard code *file tactic.
[goals.git] / tests / file1.c