using arm64 cast