Newly refactored version of Divine's binary