text: /* Generated automatically by the SUIF makefiles. */
  
  const char *libsuif1_ver_string = "(unnumbered test version)";
  const char *libsuif1_who_string = "compiled Sat Apr 11 17:34:25 BST 2020 by phjk on DESKTOP-PFJHU8G";
  const char *libsuif1_suif_string = "(unknown version)";
  