rb_max(+ Tree,- Key,- Value)*
Key is the maximal key in Tree, and is associated with Val.
1. prolog::rb_max_3::rb_max/3(int ARG1, int ARG2, int ARG3)():