Prototypes of Intel TSX HLE benchmark.