let find_current_other_options kf = try snd (FuncOptionTbl.find kf) with Not_found -> Parameter_map.empty_other