14
func (s *S) String() string {
15
print(s) // @pointsto main.theS
20
// os.Args is considered instrincally 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