/* Gets a key property [value,name] defined by its index.
   * name: [out] Key property name
   */
  __type get_key_at(int index) {