Lint top-down mergesort's bin file