Parameter Make.Main

val main : Frama_c_kernel.Kernel_function.t