REBINT is now safe to use
remove old code