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