Zig 應該使初始化指向未定義的指標變得非法，因為這會破壞類型系統。