method known_agent_aliases = let svlist = call_method_array sv "known_agent_aliases" [] in List.map string_of_sv svlist