/storage/repos/svcomp/c/bin/termination-libowfat/strchr_short_true-termination.c.oi: \
  strchr_short_true-termination.c.i