4Franz: marked code lines for caching