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*)])