14 func (s *S) String() string {
15 print(s) // @pointsto main.theS
20 // os.Args is considered intrinsically allocated,
21 // but may also be set explicitly (e.g. on Windows), hence '...'.
22 print(os.Args) // @pointsto <command-line args> | ...
23 fmt.Println("Hello, World!", &theS)
26 // @calls main.main -> fmt.Println
27 // @calls (*fmt.pp).handleMethods -> (*main.S).String