This optimization slows down SGX530