fact: Definition v___stderrp := {| gvar_info := (tptr (Tstruct ___sFILE noattr)); gvar_init := nil; gvar_readonly := false; gvar_volatile := false |}.
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)