sig   val written_formals :     Cil_types.kernel_function -> Cil_datatype.Varinfo.Set.t   val safe_argument : Cil_types.exp -> bool end