Using patched version of redblack.js