package sub // want "sub.go@go1.21"