[PATCH 1/2] include: Implement WriteNoFence64().