/storage/svcomp/c/bin/ltl-realworld/21-windows_os_frag6_wbug_false-valid-ltl.c.oi: \
  21-windows_os_frag6_wbug_false-valid-ltl.c.i