rbt_t *rbt_i64_new (void) { return rbt_new (RBT_I64KEY); }
rbt_t *rbt_i32_new (void) { return rbt_new (RBT_I32KEY); }