static T3<S> webToTriple(Web web) {
  ret ai_webToTriple(web);
}