(* synthesize *)
module sysStringIntegerWithNull();

  Reg#(Bit#(2)) c <- mkReg(0);

  String x = (c[0] == 1) ? "This is a test string" :
                           "This has an embedded \000 null character";

  String y = (c[0] == 1) ? "This has \003 \007 \011 unprintable characters" :
                           "This has \n newlines \000 and \n null \0000 characters";

  String z = (c[1] == 1) ? x : y;

  rule test;
    $display("Length: %0d", stringLength(z));
    $display("%h", z);
    $display("%h", Bit#(400)'(fromInteger(primStringToInteger(z))));
    c <= c + 1;
    if(c == 3) $finish(0);
  endrule

endmodule