blockfreq: Approximate irreducible control flow