diff --git a/pointer/testdata/hello.go b/pointer/testdata/hello.go
index 8e6368888a..065ff86056 100644
--- a/pointer/testdata/hello.go
+++ b/pointer/testdata/hello.go
@@ -17,7 +17,9 @@ func (s *S) String() string {
 }
 
 func main() {
-	print(os.Args) // @pointsto <command-line args>
+	// os.Args is considered instrincally allocated,
+	// but may also be set explicitly (e.g. on Windows), hence '...'.
+	print(os.Args) // @pointsto <command-line args> | ...
 	fmt.Println("Hello, World!", &theS)
 }