fact: Definition v___stringlit_6 := {| gvar_info := (tarray tschar 38); gvar_init := (Init_int8 (Int.repr 67) :: Init_int8 (Int.repr 111) :: Init_int8 (Int.repr 117) :: Init_int8 (Int.repr 108) :: Init_int8 (Int.repr 100) :: Init_int8 (Int.repr 32) :: Init_int8 (Int.repr 110) :: Init_int8 (Int.repr 111) :: Init_int8 (Int.repr 116) :: Init_int8 (Int.repr 32) :: Init_int8 (Int.repr 99) :: Init_int8 (Int.repr 114) :: Init_int8 (Int.repr 101) :: Init_int8 (Int.repr 97) :: Init_int8 (Int.repr 116) :: Init_int8 (Int.repr 101) :: Init_int8 (Int.repr 32) :: Init_int8 (Int.repr 116) :: Init_int8 (Int.repr 104) :: Init_int8 (Int.repr 101) :: Init_int8 (Int.repr 32) :: Init_int8 (Int.repr 110) :: Init_int8 (Int.repr 101) :: Init_int8 (Int.repr 120) :: Init_int8 (Int.repr 116) :: Init_int8 (Int.repr 32) :: Init_int8 (Int.repr 103) :: Init_int8 (Int.repr 101) :: Init_int8 (Int.repr 110) :: Init_int8 (Int.repr 101) :: Init_int8 (Int.repr 114) :: Init_int8 (Int.repr 97) :: Init_int8 (Int.repr 116) :: Init_int8 (Int.repr 105) :: Init_int8 (Int.repr 111) :: Init_int8 (Int.repr 110) :: Init_int8 (Int.repr 10) :: Init_int8 (Int.repr 0) :: nil); gvar_readonly := true; gvar_volatile := false |}.
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)