Config_compcert.Features
val set_fstruct_passing : bool -> unit
val set_fpacked_structs : bool -> unit