fact: Definition v_MAX_SPACE_SIZE := {| gvar_info := tuint; gvar_init := (Init_int32 (Int.repr 536870912) :: nil); gvar_readonly := true; gvar_volatile := false |}.
imports: Coq(String List ZArith) compcert(Coqlib Integers Floats AST Ctypes Cop Clight Clightdefs)