let get_init_linfo kf ki bhv n_assigns n_from t = let name = mk_name "Init_" kf ki bhv n_assigns ("_"^(string_of_int n_from)) in get_linfo name (Some t, [(*Linteger*)])