Rewritten RB-Trees