fact: Definition v___stringlit_2 := {| gvar_info := (tarray tschar 3); gvar_init := (Init_int8 (Int.repr 45) :: Init_int8 (Int.repr 9) :: 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)