BinaryBuddy does not allocate on split anymore