external list_interfaces: unit -> string list = "interface_list"