gometalinter: enable cyclomatic complexity checking

Refactor some functions to be simpler.

Update #538

6 files changed, 1002 insertions, 950 deletions

diff --git a/prog/encoding.go b/prog/encoding.go
index ad3aad16e..7a38b680f 100644
--- a/prog/encoding.go
+++ b/prog/encoding.go
@@ -225,7 +225,7 @@ func (target *Target) Deserialize(data []byte) (prog *Prog, err error) {
 	return
 }
 
-func (target *Target) parseArg(typ Type, p *parser, vars map[string]Arg /*, allowNil bool*/) (Arg, error) {
+func (target *Target) parseArg(typ Type, p *parser, vars map[string]Arg) (Arg, error) {
 	r := ""
 	if p.Char() == '<' {
 		p.Parse('<')
@@ -233,249 +233,275 @@ func (target *Target) parseArg(typ Type, p *parser, vars map[string]Arg /*, allo
 		p.Parse('=')
 		p.Parse('>')
 	}
-	var arg Arg
-top:
-	switch p.Char() {
-	case '0':
-		val := p.Ident()
-		v, err := strconv.ParseUint(val, 0, 64)
-		if err != nil {
-			return nil, fmt.Errorf("wrong arg value '%v': %v", val, err)
-		}
-		switch typ.(type) {
-		case *ConstType, *IntType, *FlagsType, *ProcType, *LenType, *CsumType:
-			arg = MakeConstArg(typ, v)
-		case *ResourceType:
-			arg = MakeResultArg(typ, nil, v)
-		case *PtrType, *VmaType:
-			if typ.Optional() {
-				arg = MakeNullPointerArg(typ)
-			} else {
-				arg = target.defaultArg(typ)
-			}
-		default:
-			eatExcessive(p, true)
+	arg, err := target.parseArgImpl(typ, p, vars)
+	if err != nil {
+		return nil, err
+	}
+	if arg == nil {
+		if typ != nil {
 			arg = target.defaultArg(typ)
-			break top
+		} else if r != "" {
+			return nil, fmt.Errorf("named nil argument")
 		}
+	}
+	if r != "" {
+		vars[r] = arg
+	}
+	return arg, nil
+}
+
+func (target *Target) parseArgImpl(typ Type, p *parser, vars map[string]Arg) (Arg, error) {
+	switch p.Char() {
+	case '0':
+		return target.parseArgInt(typ, p)
 	case 'r':
-		id := p.Ident()
-		var div, add uint64
-		if p.Char() == '/' {
-			p.Parse('/')
-			op := p.Ident()
-			v, err := strconv.ParseUint(op, 0, 64)
-			if err != nil {
-				return nil, fmt.Errorf("wrong result div op: '%v'", op)
-			}
-			div = v
-		}
-		if p.Char() == '+' {
-			p.Parse('+')
-			op := p.Ident()
-			v, err := strconv.ParseUint(op, 0, 64)
-			if err != nil {
-				return nil, fmt.Errorf("wrong result add op: '%v'", op)
-			}
-			add = v
-		}
-		v, ok := vars[id]
-		if !ok || v == nil {
-			arg = target.defaultArg(typ)
-			break
-		}
-		if _, ok := v.(ArgUsed); !ok {
-			arg = target.defaultArg(typ)
-			break
-		}
-		resArg := MakeResultArg(typ, v, 0)
-		resArg.OpDiv = div
-		resArg.OpAdd = add
-		arg = resArg
+		return target.parseArgRes(typ, p, vars)
 	case '&':
-		var typ1 Type
-		switch t1 := typ.(type) {
-		case *PtrType:
-			typ1 = t1.Type
-		case *VmaType:
-		default:
-			eatExcessive(p, true)
-			arg = target.defaultArg(typ)
-			break top
+		return target.parseArgAddr(typ, p, vars)
+	case '"', '\'':
+		return target.parseArgString(typ, p)
+	case '{':
+		return target.parseArgStruct(typ, p, vars)
+	case '[':
+		return target.parseArgArray(typ, p, vars)
+	case '@':
+		return target.parseArgUnion(typ, p, vars)
+	case 'n':
+		p.Parse('n')
+		p.Parse('i')
+		p.Parse('l')
+		return nil, nil
+
+	default:
+		return nil, fmt.Errorf("failed to parse argument at %v (line #%v/%v: %v)",
+			int(p.Char()), p.l, p.i, p.s)
+	}
+}
+
+func (target *Target) parseArgInt(typ Type, p *parser) (Arg, error) {
+	val := p.Ident()
+	v, err := strconv.ParseUint(val, 0, 64)
+	if err != nil {
+		return nil, fmt.Errorf("wrong arg value '%v': %v", val, err)
+	}
+	switch typ.(type) {
+	case *ConstType, *IntType, *FlagsType, *ProcType, *LenType, *CsumType:
+		return MakeConstArg(typ, v), nil
+	case *ResourceType:
+		return MakeResultArg(typ, nil, v), nil
+	case *PtrType, *VmaType:
+		if typ.Optional() {
+			return MakeNullPointerArg(typ), nil
+		}
+		return target.defaultArg(typ), nil
+	default:
+		eatExcessive(p, true)
+		return target.defaultArg(typ), nil
+	}
+}
+
+func (target *Target) parseArgRes(typ Type, p *parser, vars map[string]Arg) (Arg, error) {
+	id := p.Ident()
+	var div, add uint64
+	if p.Char() == '/' {
+		p.Parse('/')
+		op := p.Ident()
+		v, err := strconv.ParseUint(op, 0, 64)
+		if err != nil {
+			return nil, fmt.Errorf("wrong result div op: '%v'", op)
 		}
-		p.Parse('&')
-		addr, vmaSize, err := target.parseAddr(p)
+		div = v
+	}
+	if p.Char() == '+' {
+		p.Parse('+')
+		op := p.Ident()
+		v, err := strconv.ParseUint(op, 0, 64)
 		if err != nil {
-			return nil, err
+			return nil, fmt.Errorf("wrong result add op: '%v'", op)
 		}
-		var inner Arg
-		if p.Char() == '=' {
+		add = v
+	}
+	v, ok := vars[id]
+	if !ok || v == nil {
+		return target.defaultArg(typ), nil
+	}
+	if _, ok := v.(ArgUsed); !ok {
+		return target.defaultArg(typ), nil
+	}
+	arg := MakeResultArg(typ, v, 0)
+	arg.OpDiv = div
+	arg.OpAdd = add
+	return arg, nil
+}
+
+func (target *Target) parseArgAddr(typ Type, p *parser, vars map[string]Arg) (Arg, error) {
+	var typ1 Type
+	switch t1 := typ.(type) {
+	case *PtrType:
+		typ1 = t1.Type
+	case *VmaType:
+	default:
+		eatExcessive(p, true)
+		return target.defaultArg(typ), nil
+	}
+	p.Parse('&')
+	addr, vmaSize, err := target.parseAddr(p)
+	if err != nil {
+		return nil, err
+	}
+	var inner Arg
+	if p.Char() == '=' {
+		p.Parse('=')
+		if p.Char() == 'A' {
+			p.Parse('A')
+			p.Parse('N')
+			p.Parse('Y')
 			p.Parse('=')
-			if p.Char() == 'A' {
-				p.Parse('A')
-				p.Parse('N')
-				p.Parse('Y')
-				p.Parse('=')
-				typ = target.makeAnyPtrType(typ.Size(), typ.FieldName())
-				typ1 = target.any.array
-			}
-			inner, err = target.parseArg(typ1, p, vars)
-			if err != nil {
-				return nil, err
-			}
+			typ = target.makeAnyPtrType(typ.Size(), typ.FieldName())
+			typ1 = target.any.array
 		}
-		if typ1 != nil {
-			if inner == nil {
-				inner = target.defaultArg(typ1)
-			}
-			arg = MakePointerArg(typ, addr, inner)
-		} else {
-			arg = MakeVmaPointerArg(typ, addr, vmaSize)
-		}
-	case '"', '\'':
-		if _, ok := typ.(*BufferType); !ok {
-			eatExcessive(p, true)
-			arg = target.defaultArg(typ)
-			break
-		}
-		data, err := deserializeData(p)
+		inner, err = target.parseArg(typ1, p, vars)
 		if err != nil {
 			return nil, err
 		}
-		size := ^uint64(0)
-		if p.Char() == '/' {
-			p.Parse('/')
-			sizeStr := p.Ident()
-			size, err = strconv.ParseUint(sizeStr, 0, 64)
-			if err != nil {
-				return nil, fmt.Errorf("failed to parse buffer size: %q", sizeStr)
-			}
-		}
-		if !typ.Varlen() {
-			size = typ.Size()
-		} else if size == ^uint64(0) {
-			size = uint64(len(data))
-		}
-		if typ.Dir() == DirOut {
-			arg = MakeOutDataArg(typ, size)
-		} else {
-			if diff := int(size) - len(data); diff > 0 {
-				data = append(data, make([]byte, diff)...)
-			}
-			data = data[:size]
-			arg = MakeDataArg(typ, data)
-		}
-	case '{':
-		p.Parse('{')
-		t1, ok := typ.(*StructType)
-		if !ok {
-			eatExcessive(p, false)
-			p.Parse('}')
-			arg = target.defaultArg(typ)
-			break
-		}
-		var inner []Arg
-		for i := 0; p.Char() != '}'; i++ {
-			if i >= len(t1.Fields) {
-				eatExcessive(p, false)
-				break
-			}
-			fld := t1.Fields[i]
-			if IsPad(fld) {
-				inner = append(inner, MakeConstArg(fld, 0))
-			} else {
-				arg, err := target.parseArg(fld, p, vars)
-				if err != nil {
-					return nil, err
-				}
-				inner = append(inner, arg)
-				if p.Char() != '}' {
-					p.Parse(',')
-				}
-			}
+	}
+	if typ1 == nil {
+		return MakeVmaPointerArg(typ, addr, vmaSize), nil
+	}
+	if inner == nil {
+		inner = target.defaultArg(typ1)
+	}
+	return MakePointerArg(typ, addr, inner), nil
+}
+
+func (target *Target) parseArgString(typ Type, p *parser) (Arg, error) {
+	if _, ok := typ.(*BufferType); !ok {
+		eatExcessive(p, true)
+		return target.defaultArg(typ), nil
+	}
+	data, err := deserializeData(p)
+	if err != nil {
+		return nil, err
+	}
+	size := ^uint64(0)
+	if p.Char() == '/' {
+		p.Parse('/')
+		sizeStr := p.Ident()
+		size, err = strconv.ParseUint(sizeStr, 0, 64)
+		if err != nil {
+			return nil, fmt.Errorf("failed to parse buffer size: %q", sizeStr)
 		}
+	}
+	if !typ.Varlen() {
+		size = typ.Size()
+	} else if size == ^uint64(0) {
+		size = uint64(len(data))
+	}
+	if typ.Dir() == DirOut {
+		return MakeOutDataArg(typ, size), nil
+	}
+	if diff := int(size) - len(data); diff > 0 {
+		data = append(data, make([]byte, diff)...)
+	}
+	data = data[:size]
+	return MakeDataArg(typ, data), nil
+}
+
+func (target *Target) parseArgStruct(typ Type, p *parser, vars map[string]Arg) (Arg, error) {
+	p.Parse('{')
+	t1, ok := typ.(*StructType)
+	if !ok {
+		eatExcessive(p, false)
 		p.Parse('}')
-		for len(inner) < len(t1.Fields) {
-			inner = append(inner, target.defaultArg(t1.Fields[len(inner)]))
-		}
-		arg = MakeGroupArg(typ, inner)
-	case '[':
-		p.Parse('[')
-		t1, ok := typ.(*ArrayType)
-		if !ok {
+		return target.defaultArg(typ), nil
+	}
+	var inner []Arg
+	for i := 0; p.Char() != '}'; i++ {
+		if i >= len(t1.Fields) {
 			eatExcessive(p, false)
-			p.Parse(']')
-			arg = target.defaultArg(typ)
 			break
 		}
-		var inner []Arg
-		for i := 0; p.Char() != ']'; i++ {
-			arg, err := target.parseArg(t1.Type, p, vars)
+		fld := t1.Fields[i]
+		if IsPad(fld) {
+			inner = append(inner, MakeConstArg(fld, 0))
+		} else {
+			arg, err := target.parseArg(fld, p, vars)
 			if err != nil {
 				return nil, err
 			}
 			inner = append(inner, arg)
-			if p.Char() != ']' {
+			if p.Char() != '}' {
 				p.Parse(',')
 			}
 		}
+	}
+	p.Parse('}')
+	for len(inner) < len(t1.Fields) {
+		inner = append(inner, target.defaultArg(t1.Fields[len(inner)]))
+	}
+	return MakeGroupArg(typ, inner), nil
+}
+
+func (target *Target) parseArgArray(typ Type, p *parser, vars map[string]Arg) (Arg, error) {
+	p.Parse('[')
+	t1, ok := typ.(*ArrayType)
+	if !ok {
+		eatExcessive(p, false)
 		p.Parse(']')
-		if t1.Kind == ArrayRangeLen && t1.RangeBegin == t1.RangeEnd {
-			for uint64(len(inner)) < t1.RangeBegin {
-				inner = append(inner, target.defaultArg(t1.Type))
-			}
-			inner = inner[:t1.RangeBegin]
+		return target.defaultArg(typ), nil
+	}
+	var inner []Arg
+	for i := 0; p.Char() != ']'; i++ {
+		arg, err := target.parseArg(t1.Type, p, vars)
+		if err != nil {
+			return nil, err
 		}
-		arg = MakeGroupArg(typ, inner)
-	case '@':
-		t1, ok := typ.(*UnionType)
-		if !ok {
-			eatExcessive(p, true)
-			arg = target.defaultArg(typ)
-			break
+		inner = append(inner, arg)
+		if p.Char() != ']' {
+			p.Parse(',')
 		}
-		p.Parse('@')
-		name := p.Ident()
-		var optType Type
-		for _, t2 := range t1.Fields {
-			if name == t2.FieldName() {
-				optType = t2
-				break
-			}
+	}
+	p.Parse(']')
+	if t1.Kind == ArrayRangeLen && t1.RangeBegin == t1.RangeEnd {
+		for uint64(len(inner)) < t1.RangeBegin {
+			inner = append(inner, target.defaultArg(t1.Type))
 		}
-		if optType == nil {
-			eatExcessive(p, true)
-			arg = target.defaultArg(typ)
+		inner = inner[:t1.RangeBegin]
+	}
+	return MakeGroupArg(typ, inner), nil
+}
+
+func (target *Target) parseArgUnion(typ Type, p *parser, vars map[string]Arg) (Arg, error) {
+	t1, ok := typ.(*UnionType)
+	if !ok {
+		eatExcessive(p, true)
+		return target.defaultArg(typ), nil
+	}
+	p.Parse('@')
+	name := p.Ident()
+	var optType Type
+	for _, t2 := range t1.Fields {
+		if name == t2.FieldName() {
+			optType = t2
 			break
 		}
-		var opt Arg
-		if p.Char() == '=' {
-			p.Parse('=')
-			var err error
-			opt, err = target.parseArg(optType, p, vars)
-			if err != nil {
-				return nil, err
-			}
-		} else {
-			opt = target.defaultArg(optType)
-		}
-		arg = MakeUnionArg(typ, opt)
-	case 'n':
-		p.Parse('n')
-		p.Parse('i')
-		p.Parse('l')
-		if typ != nil {
-			arg = target.defaultArg(typ)
-		} else if r != "" {
-			return nil, fmt.Errorf("named nil argument")
-		}
-	default:
-		return nil, fmt.Errorf("failed to parse argument at %v (line #%v/%v: %v)", int(p.Char()), p.l, p.i, p.s)
 	}
-	if r != "" {
-		vars[r] = arg
+	if optType == nil {
+		eatExcessive(p, true)
+		return target.defaultArg(typ), nil
 	}
-	return arg, nil
+	var opt Arg
+	if p.Char() == '=' {
+		p.Parse('=')
+		var err error
+		opt, err = target.parseArg(optType, p, vars)
+		if err != nil {
+			return nil, err
+		}
+	} else {
+		opt = target.defaultArg(optType)
+	}
+	return MakeUnionArg(typ, opt), nil
 }
 
 // Eats excessive call arguments and struct fields to recover after description changes.
diff --git a/prog/minimization.go b/prog/minimization.go
index 8f2cbae61..71e0f5c63 100644
--- a/prog/minimization.go
+++ b/prog/minimization.go
@@ -30,6 +30,37 @@ func Minimize(p0 *Prog, callIndex0 int, crash bool, pred0 func(*Prog, int) bool)
 	}
 
 	// Try to remove all calls except the last one one-by-one.
+	p0, callIndex0 = removeCalls(p0, callIndex0, crash, pred)
+
+	// Try to minimize individual args.
+	for i := 0; i < len(p0.Calls); i++ {
+		ctx := &minimizeArgsCtx{
+			p0:         &p0,
+			callIndex0: callIndex0,
+			crash:      crash,
+			pred:       pred,
+			triedPaths: make(map[string]bool),
+		}
+	again:
+		p := p0.Clone()
+		call := p.Calls[i]
+		for j, arg := range call.Args {
+			if ctx.do(p, call, arg, fmt.Sprintf("%v", j)) {
+				goto again
+			}
+		}
+	}
+
+	if callIndex0 != -1 {
+		if callIndex0 < 0 || callIndex0 >= len(p0.Calls) || name0 != p0.Calls[callIndex0].Meta.Name {
+			panic(fmt.Sprintf("bad call index after minimization: ncalls=%v index=%v call=%v/%v",
+				len(p0.Calls), callIndex0, name0, p0.Calls[callIndex0].Meta.Name))
+		}
+	}
+	return p0, callIndex0
+}
+
+func removeCalls(p0 *Prog, callIndex0 int, crash bool, pred func(*Prog, int) bool) (*Prog, int) {
 	for i := len(p0.Calls) - 1; i >= 0; i-- {
 		if i == callIndex0 {
 			continue
@@ -46,156 +77,134 @@ func Minimize(p0 *Prog, callIndex0 int, crash bool, pred0 func(*Prog, int) bool)
 		p0 = p
 		callIndex0 = callIndex
 	}
+	return p0, callIndex0
+}
 
-	var triedPaths map[string]bool
+type minimizeArgsCtx struct {
+	p0         **Prog
+	callIndex0 int
+	crash      bool
+	pred       func(*Prog, int) bool
+	triedPaths map[string]bool
+}
 
-	var rec func(p *Prog, call *Call, arg Arg, path string) bool
-	rec = func(p *Prog, call *Call, arg Arg, path string) bool {
-		path += fmt.Sprintf("-%v", arg.Type().FieldName())
-		switch typ := arg.Type().(type) {
-		case *StructType:
-			a := arg.(*GroupArg)
-			for _, innerArg := range a.Inner {
-				if rec(p, call, innerArg, path) {
-					return true
-				}
-			}
-		case *UnionType:
-			a := arg.(*UnionArg)
-			if rec(p, call, a.Option, path) {
+func (ctx *minimizeArgsCtx) do(p *Prog, call *Call, arg Arg, path string) bool {
+	path += fmt.Sprintf("-%v", arg.Type().FieldName())
+	switch typ := arg.Type().(type) {
+	case *StructType:
+		a := arg.(*GroupArg)
+		for _, innerArg := range a.Inner {
+			if ctx.do(p, call, innerArg, path) {
 				return true
 			}
-		case *PtrType:
-			// TODO: try to remove optional ptrs
-			a, ok := arg.(*PointerArg)
-			if !ok {
-				// Can also be *ConstArg.
-				return false
-			}
-			if a.Res != nil {
-				return rec(p, call, a.Res, path)
-			}
-		case *ArrayType:
-			a := arg.(*GroupArg)
-			for i, innerArg := range a.Inner {
-				innerPath := fmt.Sprintf("%v-%v", path, i)
-				if !triedPaths[innerPath] && !crash {
-					if (typ.Kind == ArrayRangeLen && len(a.Inner) > int(typ.RangeBegin)) ||
-						(typ.Kind == ArrayRandLen) {
-						copy(a.Inner[i:], a.Inner[i+1:])
-						a.Inner = a.Inner[:len(a.Inner)-1]
-						removeArg(innerArg)
-						p.Target.assignSizesCall(call)
-
-						if pred(p, callIndex0) {
-							p0 = p
-						} else {
-							triedPaths[innerPath] = true
-						}
+		}
+	case *UnionType:
+		a := arg.(*UnionArg)
+		if ctx.do(p, call, a.Option, path) {
+			return true
+		}
+	case *PtrType:
+		// TODO: try to remove optional ptrs
+		a, ok := arg.(*PointerArg)
+		if !ok {
+			// Can also be *ConstArg.
+			return false
+		}
+		if a.Res != nil {
+			return ctx.do(p, call, a.Res, path)
+		}
+	case *ArrayType:
+		a := arg.(*GroupArg)
+		for i, innerArg := range a.Inner {
+			innerPath := fmt.Sprintf("%v-%v", path, i)
+			if !ctx.triedPaths[innerPath] && !ctx.crash {
+				if (typ.Kind == ArrayRangeLen && len(a.Inner) > int(typ.RangeBegin)) ||
+					(typ.Kind == ArrayRandLen) {
+					copy(a.Inner[i:], a.Inner[i+1:])
+					a.Inner = a.Inner[:len(a.Inner)-1]
+					removeArg(innerArg)
+					p.Target.assignSizesCall(call)
 
-						return true
+					if ctx.pred(p, ctx.callIndex0) {
+						*ctx.p0 = p
+					} else {
+						ctx.triedPaths[innerPath] = true
 					}
-				}
-				if rec(p, call, innerArg, innerPath) {
 					return true
 				}
 			}
-		case *IntType, *FlagsType, *ProcType:
-			// TODO: try to reset bits in ints
-			// TODO: try to set separate flags
-			if crash {
-				return false
-			}
-			if triedPaths[path] {
-				return false
-			}
-			triedPaths[path] = true
-			a := arg.(*ConstArg)
-			if a.Val == typ.Default() {
-				return false
-			}
-			v0 := a.Val
-			a.Val = typ.Default()
-			if pred(p, callIndex0) {
-				p0 = p
-				return true
-			}
-			a.Val = v0
-		case *ResourceType:
-			if crash {
-				return false
-			}
-			if triedPaths[path] {
-				return false
-			}
-			triedPaths[path] = true
-			a := arg.(*ResultArg)
-			if a.Res == nil {
-				return false
-			}
-			r0 := a.Res
-			a.Res = nil
-			a.Val = typ.Default()
-			if pred(p, callIndex0) {
-				p0 = p
+			if ctx.do(p, call, innerArg, innerPath) {
 				return true
 			}
-			a.Res = r0
-			a.Val = 0
-		case *BufferType:
-			// TODO: try to set individual bytes to 0
-			if triedPaths[path] {
-				return false
-			}
-			triedPaths[path] = true
-			if typ.Kind != BufferBlobRand && typ.Kind != BufferBlobRange ||
-				typ.Dir() == DirOut {
-				return false
-			}
-			a := arg.(*DataArg)
-			minLen := int(typ.RangeBegin)
-			for step := len(a.Data()) - minLen; len(a.Data()) > minLen && step > 0; {
-				if len(a.Data())-step >= minLen {
-					a.data = a.Data()[:len(a.Data())-step]
-					p.Target.assignSizesCall(call)
-					if pred(p, callIndex0) {
-						continue
-					}
-					a.data = a.Data()[:len(a.Data())+step]
-					p.Target.assignSizesCall(call)
-				}
-				step /= 2
-				if crash {
-					break
-				}
-			}
-			p0 = p
-		case *VmaType, *LenType, *CsumType, *ConstType:
+		}
+	case *IntType, *FlagsType, *ProcType:
+		// TODO: try to reset bits in ints
+		// TODO: try to set separate flags
+		if ctx.crash || ctx.triedPaths[path] {
 			return false
-		default:
-			panic(fmt.Sprintf("unknown arg type '%+v'", typ))
 		}
-		return false
-	}
-
-	// Try to minimize individual args.
-	for i := 0; i < len(p0.Calls); i++ {
-		triedPaths = make(map[string]bool)
-	again:
-		p := p0.Clone()
-		call := p.Calls[i]
-		for j, arg := range call.Args {
-			if rec(p, call, arg, fmt.Sprintf("%v", j)) {
-				goto again
-			}
+		ctx.triedPaths[path] = true
+		a := arg.(*ConstArg)
+		if a.Val == typ.Default() {
+			return false
 		}
-	}
-
-	if callIndex0 != -1 {
-		if callIndex0 < 0 || callIndex0 >= len(p0.Calls) || name0 != p0.Calls[callIndex0].Meta.Name {
-			panic(fmt.Sprintf("bad call index after minimization: ncalls=%v index=%v call=%v/%v",
-				len(p0.Calls), callIndex0, name0, p0.Calls[callIndex0].Meta.Name))
+		v0 := a.Val
+		a.Val = typ.Default()
+		if ctx.pred(p, ctx.callIndex0) {
+			*ctx.p0 = p
+			return true
+		}
+		a.Val = v0
+	case *ResourceType:
+		if ctx.crash || ctx.triedPaths[path] {
+			return false
+		}
+		ctx.triedPaths[path] = true
+		a := arg.(*ResultArg)
+		if a.Res == nil {
+			return false
 		}
+		r0 := a.Res
+		a.Res = nil
+		a.Val = typ.Default()
+		if ctx.pred(p, ctx.callIndex0) {
+			*ctx.p0 = p
+			return true
+		}
+		a.Res = r0
+		a.Val = 0
+	case *BufferType:
+		// TODO: try to set individual bytes to 0
+		if ctx.triedPaths[path] {
+			return false
+		}
+		ctx.triedPaths[path] = true
+		if typ.Kind != BufferBlobRand && typ.Kind != BufferBlobRange ||
+			typ.Dir() == DirOut {
+			return false
+		}
+		a := arg.(*DataArg)
+		minLen := int(typ.RangeBegin)
+		for step := len(a.Data()) - minLen; len(a.Data()) > minLen && step > 0; {
+			if len(a.Data())-step >= minLen {
+				a.data = a.Data()[:len(a.Data())-step]
+				p.Target.assignSizesCall(call)
+				if ctx.pred(p, ctx.callIndex0) {
+					continue
+				}
+				a.data = a.Data()[:len(a.Data())+step]
+				p.Target.assignSizesCall(call)
+			}
+			step /= 2
+			if ctx.crash {
+				break
+			}
+		}
+		*ctx.p0 = p
+	case *VmaType, *LenType, *CsumType, *ConstType:
+		return false
+	default:
+		panic(fmt.Sprintf("unknown arg type '%+v'", typ))
 	}
-	return p0, callIndex0
+	return false
 }
diff --git a/prog/mutation.go b/prog/mutation.go
index 9ab47d8d6..1c4115731 100644
--- a/prog/mutation.go
+++ b/prog/mutation.go
@@ -343,223 +343,220 @@ func (ma *mutationArgs) collectArg(arg Arg, ctx *ArgCtx) {
 }
 
 func mutateData(r *randGen, data []byte, minLen, maxLen uint64) []byte {
-	const maxInc = 35
-	retry := false
-loop:
-	for stop := false; !stop || retry; stop = r.oneOf(3) {
-		retry = false
-		// TODO(dvyukov): duplicate part of data.
-		switch r.Intn(7) {
-		case 0:
-			// Flip bit in byte.
-			if len(data) == 0 {
-				retry = true
-				continue loop
-			}
-			byt := r.Intn(len(data))
-			bit := r.Intn(8)
-			data[byt] ^= 1 << uint(bit)
-		case 1:
-			// Insert random bytes.
-			if len(data) == 0 || uint64(len(data)) >= maxLen {
-				retry = true
-				continue loop
-			}
-			n := r.Intn(16) + 1
-			if r := int(maxLen) - len(data); n > r {
-				n = r
-			}
-			pos := r.Intn(len(data))
-			for i := 0; i < n; i++ {
-				data = append(data, 0)
-			}
-			copy(data[pos+n:], data[pos:])
+	for stop := false; !stop; stop = stop && r.oneOf(3) {
+		f := mutateDataFuncs[r.Intn(len(mutateDataFuncs))]
+		data, stop = f(r, data, minLen, maxLen)
+	}
+	return data
+}
+
+const maxInc = 35
+
+var mutateDataFuncs = [...]func(r *randGen, data []byte, minLen, maxLen uint64) ([]byte, bool){
+	// TODO(dvyukov): duplicate part of data.
+	// Flip bit in byte.
+	func(r *randGen, data []byte, minLen, maxLen uint64) ([]byte, bool) {
+		if len(data) == 0 {
+			return data, false
+		}
+		byt := r.Intn(len(data))
+		bit := r.Intn(8)
+		data[byt] ^= 1 << uint(bit)
+		return data, true
+	},
+	// Insert random bytes.
+	func(r *randGen, data []byte, minLen, maxLen uint64) ([]byte, bool) {
+		if len(data) == 0 || uint64(len(data)) >= maxLen {
+			return data, false
+		}
+		n := r.Intn(16) + 1
+		if r := int(maxLen) - len(data); n > r {
+			n = r
+		}
+		pos := r.Intn(len(data))
+		for i := 0; i < n; i++ {
+			data = append(data, 0)
+		}
+		copy(data[pos+n:], data[pos:])
+		for i := 0; i < n; i++ {
+			data[pos+i] = byte(r.Int31())
+		}
+		if r.bin() {
+			data = data[:len(data)-n] // preserve original length
+		}
+		return data, true
+	},
+	// Remove bytes.
+	func(r *randGen, data []byte, minLen, maxLen uint64) ([]byte, bool) {
+		if uint64(len(data)) <= minLen {
+			return data, false
+		}
+		n := r.Intn(16) + 1
+		if n > len(data) {
+			n = len(data)
+		}
+		pos := 0
+		if n < len(data) {
+			pos = r.Intn(len(data) - n)
+		}
+		copy(data[pos:], data[pos+n:])
+		data = data[:len(data)-n]
+		if r.bin() {
 			for i := 0; i < n; i++ {
-				data[pos+i] = byte(r.Int31())
+				data = append(data, 0) // preserve original length
 			}
-			if r.bin() {
-				data = data[:len(data)-n] // preserve original length
-			}
-		case 2:
-			// Remove bytes.
-			if uint64(len(data)) <= minLen {
-				retry = true
-				continue loop
-			}
-			n := r.Intn(16) + 1
-			if n > len(data) {
-				n = len(data)
-			}
-			pos := 0
-			if n < len(data) {
-				pos = r.Intn(len(data) - n)
+		}
+		return data, true
+	},
+	// Append a bunch of bytes.
+	func(r *randGen, data []byte, minLen, maxLen uint64) ([]byte, bool) {
+		if uint64(len(data)) >= maxLen {
+			return data, false
+		}
+		const max = 256
+		n := max - r.biasedRand(max, 10)
+		if r := int(maxLen) - len(data); n > r {
+			n = r
+		}
+		for i := 0; i < n; i++ {
+			data = append(data, byte(r.rand(256)))
+		}
+		return data, true
+	},
+	// Replace int8/int16/int32/int64 with a random value.
+	func(r *randGen, data []byte, minLen, maxLen uint64) ([]byte, bool) {
+		switch r.Intn(4) {
+		case 0: // int8
+			if len(data) == 0 {
+				return data, false
+			}
+			data[r.Intn(len(data))] = byte(r.rand(1 << 8))
+		case 1: // int16
+			if len(data) < 2 {
+				return data, false
+			}
+			i := r.Intn(len(data) - 1)
+			p := (*uint16)(unsafe.Pointer(&data[i]))
+			*p = uint16(r.rand(1 << 16))
+		case 2: // int32
+			if len(data) < 4 {
+				return data, false
+			}
+			i := r.Intn(len(data) - 3)
+			p := (*uint32)(unsafe.Pointer(&data[i]))
+			*p = r.Uint32()
+		case 3: // int64
+			if len(data) < 8 {
+				return data, false
+			}
+			i := r.Intn(len(data) - 7)
+			p := (*uint64)(unsafe.Pointer(&data[i]))
+			*p = r.Uint64()
+		}
+		return data, true
+	},
+	// Add/subtract from an int8/int16/int32/int64.
+	func(r *randGen, data []byte, minLen, maxLen uint64) ([]byte, bool) {
+		switch r.Intn(4) {
+		case 0: // int8
+			if len(data) == 0 {
+				return data, false
+			}
+			i := r.Intn(len(data))
+			delta := byte(r.rand(2*maxInc+1) - maxInc)
+			if delta == 0 {
+				delta = 1
+			}
+			data[i] += delta
+		case 1: // int16
+			if len(data) < 2 {
+				return data, false
+			}
+			i := r.Intn(len(data) - 1)
+			p := (*uint16)(unsafe.Pointer(&data[i]))
+			delta := uint16(r.rand(2*maxInc+1) - maxInc)
+			if delta == 0 {
+				delta = 1
+			}
+			if r.oneOf(10) {
+				*p = swap16(swap16(*p) + delta)
+			} else {
+				*p += delta
 			}
-			copy(data[pos:], data[pos+n:])
-			data = data[:len(data)-n]
-			if r.bin() {
-				for i := 0; i < n; i++ {
-					data = append(data, 0) // preserve original length
-				}
+		case 2: // int32
+			if len(data) < 4 {
+				return data, false
 			}
-		case 3:
-			// Append a bunch of bytes.
-			if uint64(len(data)) >= maxLen {
-				retry = true
-				continue loop
+			i := r.Intn(len(data) - 3)
+			p := (*uint32)(unsafe.Pointer(&data[i]))
+			delta := uint32(r.rand(2*maxInc+1) - maxInc)
+			if delta == 0 {
+				delta = 1
 			}
-			const max = 256
-			n := max - r.biasedRand(max, 10)
-			if r := int(maxLen) - len(data); n > r {
-				n = r
+			if r.oneOf(10) {
+				*p = swap32(swap32(*p) + delta)
+			} else {
+				*p += delta
 			}
-			for i := 0; i < n; i++ {
-				data = append(data, byte(r.rand(256)))
+		case 3: // int64
+			if len(data) < 8 {
+				return data, false
 			}
-		case 4:
-			// Replace int8/int16/int32/int64 with a random value.
-			switch r.Intn(4) {
-			case 0: // int8
-				if len(data) == 0 {
-					retry = true
-					continue loop
-				}
-				data[r.Intn(len(data))] = byte(r.rand(1 << 8))
-			case 1: // int16
-				if len(data) < 2 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 1)
-				p := (*uint16)(unsafe.Pointer(&data[i]))
-				*p = uint16(r.rand(1 << 16))
-			case 2: // int32
-				if len(data) < 4 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 3)
-				p := (*uint32)(unsafe.Pointer(&data[i]))
-				*p = r.Uint32()
-			case 3: // int64
-				if len(data) < 8 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 7)
-				p := (*uint64)(unsafe.Pointer(&data[i]))
-				*p = r.Uint64()
-			}
-		case 5:
-			// Add/subtract from an int8/int16/int32/int64.
-			switch r.Intn(4) {
-			case 0: // int8
-				if len(data) == 0 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data))
-				delta := byte(r.rand(2*maxInc+1) - maxInc)
-				if delta == 0 {
-					delta = 1
-				}
-				data[i] += delta
-			case 1: // int16
-				if len(data) < 2 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 1)
-				p := (*uint16)(unsafe.Pointer(&data[i]))
-				delta := uint16(r.rand(2*maxInc+1) - maxInc)
-				if delta == 0 {
-					delta = 1
-				}
-				if r.oneOf(10) {
-					*p = swap16(swap16(*p) + delta)
-				} else {
-					*p += delta
-				}
-			case 2: // int32
-				if len(data) < 4 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 3)
-				p := (*uint32)(unsafe.Pointer(&data[i]))
-				delta := uint32(r.rand(2*maxInc+1) - maxInc)
-				if delta == 0 {
-					delta = 1
-				}
-				if r.oneOf(10) {
-					*p = swap32(swap32(*p) + delta)
-				} else {
-					*p += delta
-				}
-			case 3: // int64
-				if len(data) < 8 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 7)
-				p := (*uint64)(unsafe.Pointer(&data[i]))
-				delta := r.rand(2*maxInc+1) - maxInc
-				if delta == 0 {
-					delta = 1
-				}
-				if r.oneOf(10) {
-					*p = swap64(swap64(*p) + delta)
-				} else {
-					*p += delta
-				}
+			i := r.Intn(len(data) - 7)
+			p := (*uint64)(unsafe.Pointer(&data[i]))
+			delta := r.rand(2*maxInc+1) - maxInc
+			if delta == 0 {
+				delta = 1
 			}
-		case 6:
-			// Set int8/int16/int32/int64 to an interesting value.
-			switch r.Intn(4) {
-			case 0: // int8
-				if len(data) == 0 {
-					retry = true
-					continue loop
-				}
-				data[r.Intn(len(data))] = byte(r.randInt())
-			case 1: // int16
-				if len(data) < 2 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 1)
-				value := uint16(r.randInt())
-				if r.oneOf(10) {
-					value = swap16(value)
-				}
-				*(*uint16)(unsafe.Pointer(&data[i])) = value
-			case 2: // int32
-				if len(data) < 4 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 3)
-				value := uint32(r.randInt())
-				if r.oneOf(10) {
-					value = swap32(value)
-				}
-				*(*uint32)(unsafe.Pointer(&data[i])) = value
-			case 3: // int64
-				if len(data) < 8 {
-					retry = true
-					continue loop
-				}
-				i := r.Intn(len(data) - 7)
-				value := r.randInt()
-				if r.oneOf(10) {
-					value = swap64(value)
-				}
-				*(*uint64)(unsafe.Pointer(&data[i])) = value
+			if r.oneOf(10) {
+				*p = swap64(swap64(*p) + delta)
+			} else {
+				*p += delta
 			}
-		default:
-			panic("bad")
 		}
-	}
-	return data
+		return data, true
+	},
+	// Set int8/int16/int32/int64 to an interesting value.
+	func(r *randGen, data []byte, minLen, maxLen uint64) ([]byte, bool) {
+		switch r.Intn(4) {
+		case 0: // int8
+			if len(data) == 0 {
+				return data, false
+			}
+			data[r.Intn(len(data))] = byte(r.randInt())
+		case 1: // int16
+			if len(data) < 2 {
+				return data, false
+			}
+			i := r.Intn(len(data) - 1)
+			value := uint16(r.randInt())
+			if r.oneOf(10) {
+				value = swap16(value)
+			}
+			*(*uint16)(unsafe.Pointer(&data[i])) = value
+		case 2: // int32
+			if len(data) < 4 {
+				return data, false
+			}
+			i := r.Intn(len(data) - 3)
+			value := uint32(r.randInt())
+			if r.oneOf(10) {
+				value = swap32(value)
+			}
+			*(*uint32)(unsafe.Pointer(&data[i])) = value
+		case 3: // int64
+			if len(data) < 8 {
+				return data, false
+			}
+			i := r.Intn(len(data) - 7)
+			value := r.randInt()
+			if r.oneOf(10) {
+				value = swap64(value)
+			}
+			*(*uint64)(unsafe.Pointer(&data[i])) = value
+		}
+		return data, true
+	},
 }
 
 func swap16(v uint16) uint16 {
diff --git a/prog/rand.go b/prog/rand.go
index 0dbb23adc..956e7c7e1 100644
--- a/prog/rand.go
+++ b/prog/rand.go
@@ -511,163 +511,182 @@ func (r *randGen) generateArgImpl(s *state, typ Type, ignoreSpecial bool) (arg A
 		}
 	}
 
-	switch a := typ.(type) {
-	case *ResourceType:
-		switch {
-		case r.nOutOf(1000, 1011):
-			// Get an existing resource.
-			var allres []Arg
-			for name1, res1 := range s.resources {
-				if name1 == "iocbptr" {
-					continue
-				}
-				if r.target.isCompatibleResource(a.Desc.Name, name1) ||
-					r.oneOf(20) && r.target.isCompatibleResource(a.Desc.Kind[0], name1) {
-					allres = append(allres, res1...)
-				}
-			}
-			if len(allres) != 0 {
-				arg = MakeResultArg(a, allres[r.Intn(len(allres))], 0)
-			} else {
-				arg, calls = r.createResource(s, a)
+	if !ignoreSpecial && typ.Dir() != DirOut {
+		switch typ.(type) {
+		case *StructType, *UnionType:
+			if gen := r.target.SpecialTypes[typ.Name()]; gen != nil {
+				return gen(&Gen{r, s}, typ, nil)
 			}
-		case r.nOutOf(10, 11):
-			// Create a new resource.
-			arg, calls = r.createResource(s, a)
-		default:
-			special := a.SpecialValues()
-			arg = MakeResultArg(a, nil, special[r.Intn(len(special))])
 		}
-		return arg, calls
-	case *BufferType:
-		switch a.Kind {
-		case BufferBlobRand, BufferBlobRange:
-			sz := r.randBufLen()
-			if a.Kind == BufferBlobRange {
-				sz = r.randRange(a.RangeBegin, a.RangeEnd)
-			}
-			if a.Dir() == DirOut {
-				return MakeOutDataArg(a, sz), nil
-			}
-			data := make([]byte, sz)
-			for i := range data {
-				data[i] = byte(r.Intn(256))
-			}
-			return MakeDataArg(a, data), nil
-		case BufferString:
-			data := r.randString(s, a)
-			if a.Dir() == DirOut {
-				return MakeOutDataArg(a, uint64(len(data))), nil
-			}
-			return MakeDataArg(a, data), nil
-		case BufferFilename:
-			if a.Dir() == DirOut {
-				var sz uint64
-				switch {
-				case !a.Varlen():
-					sz = a.Size()
-				case r.nOutOf(1, 3):
-					sz = r.rand(100)
-				case r.nOutOf(1, 2):
-					sz = 108 // UNIX_PATH_MAX
-				default:
-					sz = 4096 // PATH_MAX
-				}
-				return MakeOutDataArg(a, sz), nil
+	}
+
+	return typ.generate(r, s)
+}
+
+func (a *ResourceType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	switch {
+	case r.nOutOf(1000, 1011):
+		// Get an existing resource.
+		var allres []Arg
+		for name1, res1 := range s.resources {
+			if name1 == "iocbptr" {
+				continue
 			}
-			return MakeDataArg(a, []byte(r.filename(s, a))), nil
-		case BufferText:
-			if a.Dir() == DirOut {
-				return MakeOutDataArg(a, uint64(r.Intn(100))), nil
+			if r.target.isCompatibleResource(a.Desc.Name, name1) ||
+				r.oneOf(20) && r.target.isCompatibleResource(a.Desc.Kind[0], name1) {
+				allres = append(allres, res1...)
 			}
-			return MakeDataArg(a, r.generateText(a.Text)), nil
-		default:
-			panic("unknown buffer kind")
 		}
-	case *VmaType:
-		npages := r.randPageCount()
-		if a.RangeBegin != 0 || a.RangeEnd != 0 {
-			npages = a.RangeBegin + uint64(r.Intn(int(a.RangeEnd-a.RangeBegin+1)))
+		if len(allres) != 0 {
+			arg = MakeResultArg(a, allres[r.Intn(len(allres))], 0)
+		} else {
+			arg, calls = r.createResource(s, a)
 		}
-		arg := r.allocVMA(s, a, npages)
-		return arg, nil
-	case *FlagsType:
-		return MakeConstArg(a, r.flags(a.Vals)), nil
-	case *ConstType:
-		return MakeConstArg(a, a.Val), nil
-	case *IntType:
-		v := r.randInt()
-		switch a.Kind {
-		case IntFileoff:
-			switch {
-			case r.nOutOf(90, 101):
-				v = 0
-			case r.nOutOf(10, 11):
-				v = r.rand(100)
-			default:
-				v = r.randInt()
-			}
-		case IntRange:
-			v = r.randRangeInt(a.RangeBegin, a.RangeEnd)
+	case r.nOutOf(10, 11):
+		// Create a new resource.
+		arg, calls = r.createResource(s, a)
+	default:
+		special := a.SpecialValues()
+		arg = MakeResultArg(a, nil, special[r.Intn(len(special))])
+	}
+	return arg, calls
+}
+
+func (a *BufferType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	switch a.Kind {
+	case BufferBlobRand, BufferBlobRange:
+		sz := r.randBufLen()
+		if a.Kind == BufferBlobRange {
+			sz = r.randRange(a.RangeBegin, a.RangeEnd)
 		}
-		return MakeConstArg(a, v), nil
-	case *ProcType:
-		return MakeConstArg(a, r.rand(int(a.ValuesPerProc))), nil
-	case *ArrayType:
-		var count uint64
-		switch a.Kind {
-		case ArrayRandLen:
-			count = r.randArrayLen()
-		case ArrayRangeLen:
-			count = r.randRange(a.RangeBegin, a.RangeEnd)
+		if a.Dir() == DirOut {
+			return MakeOutDataArg(a, sz), nil
 		}
-		var inner []Arg
-		var calls []*Call
-		for i := uint64(0); i < count; i++ {
-			arg1, calls1 := r.generateArg(s, a.Type)
-			inner = append(inner, arg1)
-			calls = append(calls, calls1...)
+		data := make([]byte, sz)
+		for i := range data {
+			data[i] = byte(r.Intn(256))
 		}
-		return MakeGroupArg(a, inner), calls
-	case *StructType:
-		if !ignoreSpecial {
-			if gen := r.target.SpecialTypes[a.Name()]; gen != nil && a.Dir() != DirOut {
-				arg, calls = gen(&Gen{r, s}, a, nil)
-				return
-			}
+		return MakeDataArg(a, data), nil
+	case BufferString:
+		data := r.randString(s, a)
+		if a.Dir() == DirOut {
+			return MakeOutDataArg(a, uint64(len(data))), nil
 		}
-		args, calls := r.generateArgs(s, a.Fields)
-		group := MakeGroupArg(a, args)
-		return group, calls
-	case *UnionType:
-		if !ignoreSpecial {
-			if gen := r.target.SpecialTypes[a.Name()]; gen != nil && a.Dir() != DirOut {
-				arg, calls = gen(&Gen{r, s}, a, nil)
-				return
+		return MakeDataArg(a, data), nil
+	case BufferFilename:
+		if a.Dir() == DirOut {
+			var sz uint64
+			switch {
+			case !a.Varlen():
+				sz = a.Size()
+			case r.nOutOf(1, 3):
+				sz = r.rand(100)
+			case r.nOutOf(1, 2):
+				sz = 108 // UNIX_PATH_MAX
+			default:
+				sz = 4096 // PATH_MAX
 			}
+			return MakeOutDataArg(a, sz), nil
 		}
-		optType := a.Fields[r.Intn(len(a.Fields))]
-		opt, calls := r.generateArg(s, optType)
-		return MakeUnionArg(a, opt), calls
-	case *PtrType:
-		inner, calls := r.generateArg(s, a.Type)
-		// TODO(dvyukov): remove knowledge about iocb from prog.
-		if a.Type.Name() == "iocb" && len(s.resources["iocbptr"]) != 0 {
-			// It is weird, but these are actually identified by kernel by address.
-			// So try to reuse a previously used address.
-			addrs := s.resources["iocbptr"]
-			addr := addrs[r.Intn(len(addrs))].(*PointerArg)
-			arg = MakePointerArg(a, addr.Address, inner)
-			return arg, calls
+		return MakeDataArg(a, []byte(r.filename(s, a))), nil
+	case BufferText:
+		if a.Dir() == DirOut {
+			return MakeOutDataArg(a, uint64(r.Intn(100))), nil
 		}
-		arg := r.allocAddr(s, a, inner.Size(), inner)
-		return arg, calls
-	case *LenType:
-		// Return placeholder value of 0 while generating len arg.
-		return MakeConstArg(a, 0), nil
-	case *CsumType:
-		return MakeConstArg(a, 0), nil
+		return MakeDataArg(a, r.generateText(a.Text)), nil
 	default:
-		panic("unknown argument type")
+		panic("unknown buffer kind")
+	}
+}
+
+func (a *VmaType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	npages := r.randPageCount()
+	if a.RangeBegin != 0 || a.RangeEnd != 0 {
+		npages = a.RangeBegin + uint64(r.Intn(int(a.RangeEnd-a.RangeBegin+1)))
+	}
+	return r.allocVMA(s, a, npages), nil
+}
+
+func (a *FlagsType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	return MakeConstArg(a, r.flags(a.Vals)), nil
+}
+
+func (a *ConstType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	return MakeConstArg(a, a.Val), nil
+}
+
+func (a *IntType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	v := r.randInt()
+	switch a.Kind {
+	case IntFileoff:
+		switch {
+		case r.nOutOf(90, 101):
+			v = 0
+		case r.nOutOf(10, 11):
+			v = r.rand(100)
+		default:
+			v = r.randInt()
+		}
+	case IntRange:
+		v = r.randRangeInt(a.RangeBegin, a.RangeEnd)
 	}
+	return MakeConstArg(a, v), nil
+}
+
+func (a *ProcType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	return MakeConstArg(a, r.rand(int(a.ValuesPerProc))), nil
+}
+
+func (a *ArrayType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	var count uint64
+	switch a.Kind {
+	case ArrayRandLen:
+		count = r.randArrayLen()
+	case ArrayRangeLen:
+		count = r.randRange(a.RangeBegin, a.RangeEnd)
+	}
+	var inner []Arg
+	for i := uint64(0); i < count; i++ {
+		arg1, calls1 := r.generateArg(s, a.Type)
+		inner = append(inner, arg1)
+		calls = append(calls, calls1...)
+	}
+	return MakeGroupArg(a, inner), calls
+}
+
+func (a *StructType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	args, calls := r.generateArgs(s, a.Fields)
+	group := MakeGroupArg(a, args)
+	return group, calls
+}
+
+func (a *UnionType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	optType := a.Fields[r.Intn(len(a.Fields))]
+	opt, calls := r.generateArg(s, optType)
+	return MakeUnionArg(a, opt), calls
+}
+
+func (a *PtrType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	inner, calls := r.generateArg(s, a.Type)
+	// TODO(dvyukov): remove knowledge about iocb from prog.
+	if a.Type.Name() == "iocb" && len(s.resources["iocbptr"]) != 0 {
+		// It is weird, but these are actually identified by kernel by address.
+		// So try to reuse a previously used address.
+		addrs := s.resources["iocbptr"]
+		addr := addrs[r.Intn(len(addrs))].(*PointerArg)
+		arg = MakePointerArg(a, addr.Address, inner)
+		return arg, calls
+	}
+	arg = r.allocAddr(s, a, inner.Size(), inner)
+	return arg, calls
+}
+
+func (a *LenType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	// Updated later in assignSizesCall.
+	return MakeConstArg(a, 0), nil
+}
+
+func (a *CsumType) generate(r *randGen, s *state) (arg Arg, calls []*Call) {
+	// Updated later in calcChecksumsCall.
+	return MakeConstArg(a, 0), nil
 }
diff --git a/prog/types.go b/prog/types.go
index 37aff4e88..0297b003b 100644
--- a/prog/types.go
+++ b/prog/types.go
@@ -49,6 +49,8 @@ type Type interface {
 	BitfieldOffset() uint64
 	BitfieldLength() uint64
 	BitfieldMiddle() bool // returns true for all but last bitfield in a group
+
+	generate(r *randGen, s *state) (arg Arg, calls []*Call)
 }
 
 func IsPad(t Type) bool {
diff --git a/prog/validation.go b/prog/validation.go
index 462a9220e..5c9275164 100644
--- a/prog/validation.go
+++ b/prog/validation.go
@@ -10,12 +10,17 @@ import (
 var debug = false // enabled in tests
 
 type validCtx struct {
-	args map[Arg]bool
-	uses map[Arg]Arg
+	target *Target
+	args   map[Arg]bool
+	uses   map[Arg]Arg
 }
 
 func (p *Prog) validate() error {
-	ctx := &validCtx{make(map[Arg]bool), make(map[Arg]Arg)}
+	ctx := &validCtx{
+		target: p.Target,
+		args:   make(map[Arg]bool),
+		uses:   make(map[Arg]Arg),
+	}
 	for _, c := range p.Calls {
 		if err := p.validateCall(ctx, c); err != nil {
 			return err
@@ -37,290 +42,284 @@ func (p *Prog) validateCall(ctx *validCtx, c *Call) error {
 		return fmt.Errorf("syscall %v: wrong number of arguments, want %v, got %v",
 			c.Meta.Name, len(c.Meta.Args), len(c.Args))
 	}
-	var checkArg func(arg Arg) error
-	checkArg = func(arg Arg) error {
-		if arg == nil {
-			return fmt.Errorf("syscall %v: nil arg", c.Meta.Name)
-		}
-		if ctx.args[arg] {
-			return fmt.Errorf("syscall %v: arg %#v is referenced several times in the tree",
-				c.Meta.Name, arg)
+	for _, arg := range c.Args {
+		if _, ok := arg.(*ReturnArg); ok {
+			return fmt.Errorf("syscall %v: arg '%v' has wrong return kind",
+				c.Meta.Name, arg.Type().Name())
 		}
-		ctx.args[arg] = true
-		if used, ok := arg.(ArgUsed); ok {
-			for u := range *used.Used() {
-				if u == nil {
-					return fmt.Errorf("syscall %v: nil reference in uses for arg %+v",
-						c.Meta.Name, arg)
-				}
-				ctx.uses[u] = arg
-			}
+		if err := validateArg(ctx, c, arg); err != nil {
+			return err
 		}
-		if arg.Type() == nil {
-			return fmt.Errorf("syscall %v: no type", c.Meta.Name)
+	}
+	if c.Ret == nil {
+		return fmt.Errorf("syscall %v: return value is absent", c.Meta.Name)
+	}
+	if _, ok := c.Ret.(*ReturnArg); !ok {
+		return fmt.Errorf("syscall %v: return value has wrong kind %v", c.Meta.Name, c.Ret)
+	}
+	if c.Meta.Ret != nil {
+		if err := validateArg(ctx, c, c.Ret); err != nil {
+			return err
 		}
-		if arg.Type().Dir() == DirOut {
-			switch a := arg.(type) {
-			case *ConstArg:
-				// We generate output len arguments, which makes sense since it can be
-				// a length of a variable-length array which is not known otherwise.
-				if _, ok := a.Type().(*LenType); ok {
-					break
-				}
-				if a.Val != 0 && a.Val != a.Type().Default() {
-					return fmt.Errorf("syscall %v: output arg '%v'/'%v' has non default value '%+v'",
-						c.Meta.Name, a.Type().FieldName(), a.Type().Name(), a)
-				}
-			case *DataArg:
-				if len(a.data) != 0 {
-					return fmt.Errorf("syscall %v: output arg '%v' has data",
-						c.Meta.Name, a.Type().Name())
-				}
+	} else if c.Ret.Type() != nil {
+		return fmt.Errorf("syscall %v: return value has spurious type: %+v",
+			c.Meta.Name, c.Ret.Type())
+	}
+	return nil
+}
+
+// nolint
+func validateArg(ctx *validCtx, c *Call, arg Arg) error {
+	if arg == nil {
+		return fmt.Errorf("syscall %v: nil arg", c.Meta.Name)
+	}
+	if ctx.args[arg] {
+		return fmt.Errorf("syscall %v: arg %#v is referenced several times in the tree",
+			c.Meta.Name, arg)
+	}
+	ctx.args[arg] = true
+	if used, ok := arg.(ArgUsed); ok {
+		for u := range *used.Used() {
+			if u == nil {
+				return fmt.Errorf("syscall %v: nil reference in uses for arg %+v",
+					c.Meta.Name, arg)
 			}
+			ctx.uses[u] = arg
 		}
-		switch typ1 := arg.Type().(type) {
-		case *IntType:
-			switch a := arg.(type) {
-			case *ConstArg:
-				if a.Type().Dir() == DirOut && (a.Val != 0 && a.Val != a.Type().Default()) {
-					return fmt.Errorf("syscall %v: out int arg '%v' has bad const value %v",
-						c.Meta.Name, a.Type().Name(), a.Val)
-				}
-			case *ReturnArg:
-			default:
-				return fmt.Errorf("syscall %v: int arg '%v' has bad kind %v",
-					c.Meta.Name, arg.Type().Name(), arg)
-			}
-		case *ResourceType:
-			switch a := arg.(type) {
-			case *ResultArg:
-				if a.Type().Dir() == DirOut && (a.Val != 0 && a.Val != a.Type().Default()) {
-					return fmt.Errorf("syscall %v: out resource arg '%v' has bad const value %v",
-						c.Meta.Name, a.Type().Name(), a.Val)
-				}
-			case *ReturnArg:
-			default:
-				return fmt.Errorf("syscall %v: fd arg '%v' has bad kind %v",
-					c.Meta.Name, arg.Type().Name(), arg)
+	}
+	if arg.Type() == nil {
+		return fmt.Errorf("syscall %v: no type", c.Meta.Name)
+	}
+	if arg.Type().Dir() == DirOut {
+		switch a := arg.(type) {
+		case *ConstArg:
+			// We generate output len arguments, which makes sense since it can be
+			// a length of a variable-length array which is not known otherwise.
+			if _, ok := a.Type().(*LenType); ok {
+				break
 			}
-		case *StructType, *ArrayType:
-			switch arg.(type) {
-			case *GroupArg:
-			default:
-				return fmt.Errorf("syscall %v: struct/array arg '%v' has bad kind %#v",
-					c.Meta.Name, arg.Type().Name(), arg)
+			if a.Val != 0 && a.Val != a.Type().Default() {
+				return fmt.Errorf("syscall %v: output arg '%v'/'%v' has non default value '%+v'",
+					c.Meta.Name, a.Type().FieldName(), a.Type().Name(), a)
 			}
-		case *UnionType:
-			switch arg.(type) {
-			case *UnionArg:
-			default:
-				return fmt.Errorf("syscall %v: union arg '%v' has bad kind %v",
-					c.Meta.Name, arg.Type().Name(), arg)
+		case *DataArg:
+			if len(a.data) != 0 {
+				return fmt.Errorf("syscall %v: output arg '%v' has data",
+					c.Meta.Name, a.Type().Name())
 			}
-		case *ProcType:
-			switch a := arg.(type) {
-			case *ConstArg:
-				if a.Val >= typ1.ValuesPerProc && a.Val != typ1.Default() {
-					return fmt.Errorf("syscall %v: per proc arg '%v' has bad value '%v'",
-						c.Meta.Name, a.Type().Name(), a.Val)
-				}
-			default:
-				return fmt.Errorf("syscall %v: proc arg '%v' has bad kind %v",
-					c.Meta.Name, arg.Type().Name(), arg)
+		}
+	}
+
+	switch typ1 := arg.Type().(type) {
+	case *IntType:
+		switch a := arg.(type) {
+		case *ConstArg:
+			if a.Type().Dir() == DirOut && (a.Val != 0 && a.Val != a.Type().Default()) {
+				return fmt.Errorf("syscall %v: out int arg '%v' has bad const value %v",
+					c.Meta.Name, a.Type().Name(), a.Val)
 			}
-		case *BufferType:
-			switch a := arg.(type) {
-			case *DataArg:
-				switch typ1.Kind {
-				case BufferString:
-					if typ1.TypeSize != 0 && a.Size() != typ1.TypeSize {
-						return fmt.Errorf("syscall %v: string arg '%v' has size %v, which should be %v",
-							c.Meta.Name, a.Type().Name(), a.Size(), typ1.TypeSize)
-					}
-				}
-			default:
-				return fmt.Errorf("syscall %v: buffer arg '%v' has bad kind %v",
-					c.Meta.Name, arg.Type().Name(), arg)
+		default:
+			return fmt.Errorf("syscall %v: int arg '%v' has bad kind %v",
+				c.Meta.Name, arg.Type().Name(), arg)
+		}
+	case *ResourceType:
+		switch a := arg.(type) {
+		case *ResultArg:
+			if a.Type().Dir() == DirOut && (a.Val != 0 && a.Val != a.Type().Default()) {
+				return fmt.Errorf("syscall %v: out resource arg '%v' has bad const value %v",
+					c.Meta.Name, a.Type().Name(), a.Val)
 			}
-		case *CsumType:
-			switch a := arg.(type) {
-			case *ConstArg:
-				if a.Val != 0 {
-					return fmt.Errorf("syscall %v: csum arg '%v' has nonzero value %v",
-						c.Meta.Name, a.Type().Name(), a.Val)
-				}
-			default:
-				return fmt.Errorf("syscall %v: csum arg '%v' has bad kind %v",
-					c.Meta.Name, arg.Type().Name(), arg)
+		case *ReturnArg:
+		default:
+			return fmt.Errorf("syscall %v: fd arg '%v' has bad kind %v",
+				c.Meta.Name, arg.Type().Name(), arg)
+		}
+	case *StructType, *ArrayType:
+		switch arg.(type) {
+		case *GroupArg:
+		default:
+			return fmt.Errorf("syscall %v: struct/array arg '%v' has bad kind %#v",
+				c.Meta.Name, arg.Type().Name(), arg)
+		}
+	case *UnionType:
+		switch arg.(type) {
+		case *UnionArg:
+		default:
+			return fmt.Errorf("syscall %v: union arg '%v' has bad kind %v",
+				c.Meta.Name, arg.Type().Name(), arg)
+		}
+	case *ProcType:
+		switch a := arg.(type) {
+		case *ConstArg:
+			if a.Val >= typ1.ValuesPerProc && a.Val != typ1.Default() {
+				return fmt.Errorf("syscall %v: per proc arg '%v' has bad value '%v'",
+					c.Meta.Name, a.Type().Name(), a.Val)
 			}
-		case *PtrType:
-			switch a := arg.(type) {
-			case *PointerArg:
-				if a.Type().Dir() == DirOut {
-					return fmt.Errorf("syscall %v: pointer arg '%v' has output direction",
-						c.Meta.Name, a.Type().Name())
-				}
-				if a.Res == nil && !a.Type().Optional() {
-					return fmt.Errorf("syscall %v: non optional pointer arg '%v' is nil",
-						c.Meta.Name, a.Type().Name())
+		default:
+			return fmt.Errorf("syscall %v: proc arg '%v' has bad kind %v",
+				c.Meta.Name, arg.Type().Name(), arg)
+		}
+	case *BufferType:
+		switch a := arg.(type) {
+		case *DataArg:
+			switch typ1.Kind {
+			case BufferString:
+				if typ1.TypeSize != 0 && a.Size() != typ1.TypeSize {
+					return fmt.Errorf("syscall %v: string arg '%v' has size %v, which should be %v",
+						c.Meta.Name, a.Type().Name(), a.Size(), typ1.TypeSize)
 				}
-			default:
-				return fmt.Errorf("syscall %v: ptr arg '%v' has bad kind %v",
-					c.Meta.Name, arg.Type().Name(), arg)
 			}
+		default:
+			return fmt.Errorf("syscall %v: buffer arg '%v' has bad kind %v",
+				c.Meta.Name, arg.Type().Name(), arg)
 		}
+	case *CsumType:
 		switch a := arg.(type) {
 		case *ConstArg:
-		case *PointerArg:
-			maxMem := p.Target.NumPages * p.Target.PageSize
-			size := a.VmaSize
-			if size == 0 && a.Res != nil {
-				size = a.Res.Size()
-			}
-			if a.Address >= maxMem || a.Address+size > maxMem {
-				return fmt.Errorf("syscall %v: ptr %v has bad address %v/%v/%v",
-					c.Meta.Name, a.Type().Name(), a.Address, a.VmaSize, size)
+			if a.Val != 0 {
+				return fmt.Errorf("syscall %v: csum arg '%v' has nonzero value %v",
+					c.Meta.Name, a.Type().Name(), a.Val)
 			}
-			switch t := a.Type().(type) {
-			case *VmaType:
-				if a.Res != nil {
-					return fmt.Errorf("syscall %v: vma arg '%v' has data",
-						c.Meta.Name, a.Type().Name())
-				}
-				if a.VmaSize == 0 && t.Dir() != DirOut && !t.Optional() {
-					return fmt.Errorf("syscall %v: vma arg '%v' has size 0",
-						c.Meta.Name, a.Type().Name())
-				}
-			case *PtrType:
-				if a.Res != nil {
-					if err := checkArg(a.Res); err != nil {
-						return err
-					}
-				}
-				if a.VmaSize != 0 {
-					return fmt.Errorf("syscall %v: pointer arg '%v' has nonzero size",
-						c.Meta.Name, a.Type().Name())
-				}
-			default:
-				return fmt.Errorf("syscall %v: pointer arg '%v' has bad meta type %+v",
-					c.Meta.Name, arg.Type().Name(), arg.Type())
-			}
-		case *DataArg:
-			typ1 := a.Type()
-			if !typ1.Varlen() && typ1.Size() != a.Size() {
-				return fmt.Errorf("syscall %v: data arg %v has wrong size %v, want %v",
-					c.Meta.Name, arg.Type().Name(), a.Size(), typ1.Size())
+		default:
+			return fmt.Errorf("syscall %v: csum arg '%v' has bad kind %v",
+				c.Meta.Name, arg.Type().Name(), arg)
+		}
+	case *PtrType:
+		switch a := arg.(type) {
+		case *PointerArg:
+			if a.Type().Dir() == DirOut {
+				return fmt.Errorf("syscall %v: pointer arg '%v' has output direction",
+					c.Meta.Name, a.Type().Name())
 			}
-			switch typ1 := a.Type().(type) {
-			case *ArrayType:
-				if typ2, ok := typ1.Type.(*IntType); !ok || typ2.Size() != 1 {
-					return fmt.Errorf("syscall %v: data arg '%v' should be an array",
-						c.Meta.Name, a.Type().Name())
-				}
+			if a.Res == nil && !a.Type().Optional() {
+				return fmt.Errorf("syscall %v: non optional pointer arg '%v' is nil",
+					c.Meta.Name, a.Type().Name())
 			}
-		case *GroupArg:
-			switch typ1 := a.Type().(type) {
-			case *StructType:
-				if len(a.Inner) != len(typ1.Fields) {
-					return fmt.Errorf("syscall %v: struct arg '%v' has wrong number of fields: want %v, got %v",
-						c.Meta.Name, a.Type().Name(), len(typ1.Fields), len(a.Inner))
-				}
-				for _, arg1 := range a.Inner {
-					if err := checkArg(arg1); err != nil {
-						return err
-					}
-				}
-			case *ArrayType:
-				if typ1.Kind == ArrayRangeLen && typ1.RangeBegin == typ1.RangeEnd &&
-					uint64(len(a.Inner)) != typ1.RangeBegin {
-					return fmt.Errorf("syscall %v: array %v has wrong number"+
-						" of elements %v, want %v",
-						c.Meta.Name, arg.Type().Name(),
-						len(a.Inner), typ1.RangeBegin)
-				}
-				for _, arg1 := range a.Inner {
-					if err := checkArg(arg1); err != nil {
-						return err
-					}
-				}
-			default:
-				return fmt.Errorf("syscall %v: group arg '%v' has bad underlying type %+v",
-					c.Meta.Name, arg.Type().Name(), arg.Type())
+		default:
+			return fmt.Errorf("syscall %v: ptr arg '%v' has bad kind %v",
+				c.Meta.Name, arg.Type().Name(), arg)
+		}
+	}
+
+	switch a := arg.(type) {
+	case *ConstArg:
+	case *PointerArg:
+		maxMem := ctx.target.NumPages * ctx.target.PageSize
+		size := a.VmaSize
+		if size == 0 && a.Res != nil {
+			size = a.Res.Size()
+		}
+		if a.Address >= maxMem || a.Address+size > maxMem {
+			return fmt.Errorf("syscall %v: ptr %v has bad address %v/%v/%v",
+				c.Meta.Name, a.Type().Name(), a.Address, a.VmaSize, size)
+		}
+		switch t := a.Type().(type) {
+		case *VmaType:
+			if a.Res != nil {
+				return fmt.Errorf("syscall %v: vma arg '%v' has data",
+					c.Meta.Name, a.Type().Name())
 			}
-		case *UnionArg:
-			typ1, ok := a.Type().(*UnionType)
-			if !ok {
-				return fmt.Errorf("syscall %v: union arg '%v' has bad type",
+			if a.VmaSize == 0 && t.Dir() != DirOut && !t.Optional() {
+				return fmt.Errorf("syscall %v: vma arg '%v' has size 0",
 					c.Meta.Name, a.Type().Name())
 			}
-			found := false
-			for _, typ2 := range typ1.Fields {
-				if a.Option.Type().Name() == typ2.Name() {
-					found = true
-					break
+		case *PtrType:
+			if a.Res != nil {
+				if err := validateArg(ctx, c, a.Res); err != nil {
+					return err
 				}
 			}
-			if !found {
-				return fmt.Errorf("syscall %v: union arg '%v' has bad option",
+			if a.VmaSize != 0 {
+				return fmt.Errorf("syscall %v: pointer arg '%v' has nonzero size",
 					c.Meta.Name, a.Type().Name())
 			}
-			if err := checkArg(a.Option); err != nil {
-				return err
-			}
-		case *ResultArg:
-			switch a.Type().(type) {
-			case *ResourceType:
-			default:
-				return fmt.Errorf("syscall %v: result arg '%v' has bad meta type %+v",
-					c.Meta.Name, arg.Type().Name(), arg.Type())
-			}
-			if a.Res == nil {
-				break
+		default:
+			return fmt.Errorf("syscall %v: pointer arg '%v' has bad meta type %+v",
+				c.Meta.Name, arg.Type().Name(), arg.Type())
+		}
+	case *DataArg:
+		typ1 := a.Type()
+		if !typ1.Varlen() && typ1.Size() != a.Size() {
+			return fmt.Errorf("syscall %v: data arg %v has wrong size %v, want %v",
+				c.Meta.Name, arg.Type().Name(), a.Size(), typ1.Size())
+		}
+	case *GroupArg:
+		switch typ1 := a.Type().(type) {
+		case *StructType:
+			if len(a.Inner) != len(typ1.Fields) {
+				return fmt.Errorf("syscall %v: struct arg '%v' has wrong number of fields: want %v, got %v",
+					c.Meta.Name, a.Type().Name(), len(typ1.Fields), len(a.Inner))
 			}
-			if !ctx.args[a.Res] {
-				return fmt.Errorf("syscall %v: result arg %v references out-of-tree result: %#v -> %#v",
-					c.Meta.Name, a.Type().Name(), arg, a.Res)
+			for _, arg1 := range a.Inner {
+				if err := validateArg(ctx, c, arg1); err != nil {
+					return err
+				}
 			}
-			if !(*a.Res.(ArgUsed).Used())[arg] {
-				return fmt.Errorf("syscall %v: result arg '%v' has broken link (%+v)",
-					c.Meta.Name, a.Type().Name(), *a.Res.(ArgUsed).Used())
+		case *ArrayType:
+			if typ1.Kind == ArrayRangeLen && typ1.RangeBegin == typ1.RangeEnd &&
+				uint64(len(a.Inner)) != typ1.RangeBegin {
+				return fmt.Errorf("syscall %v: array %v has wrong number"+
+					" of elements %v, want %v",
+					c.Meta.Name, arg.Type().Name(),
+					len(a.Inner), typ1.RangeBegin)
 			}
-		case *ReturnArg:
-			switch a.Type().(type) {
-			case *ResourceType:
-			case *VmaType:
-			default:
-				return fmt.Errorf("syscall %v: result arg '%v' has bad meta type %+v",
-					c.Meta.Name, arg.Type().Name(), arg.Type())
+			for _, arg1 := range a.Inner {
+				if err := validateArg(ctx, c, arg1); err != nil {
+					return err
+				}
 			}
 		default:
-			return fmt.Errorf("syscall %v: unknown arg '%v' kind",
-				c.Meta.Name, arg.Type().Name())
+			return fmt.Errorf("syscall %v: group arg '%v' has bad underlying type %+v",
+				c.Meta.Name, arg.Type().Name(), arg.Type())
 		}
-		return nil
-	}
-	for _, arg := range c.Args {
-		if _, ok := arg.(*ReturnArg); ok {
-			return fmt.Errorf("syscall %v: arg '%v' has wrong return kind",
-				c.Meta.Name, arg.Type().Name())
+	case *UnionArg:
+		typ1, ok := a.Type().(*UnionType)
+		if !ok {
+			return fmt.Errorf("syscall %v: union arg '%v' has bad type",
+				c.Meta.Name, a.Type().Name())
 		}
-		if err := checkArg(arg); err != nil {
-			return err
+		found := false
+		for _, typ2 := range typ1.Fields {
+			if a.Option.Type().Name() == typ2.Name() {
+				found = true
+				break
+			}
 		}
-	}
-	if c.Ret == nil {
-		return fmt.Errorf("syscall %v: return value is absent", c.Meta.Name)
-	}
-	if _, ok := c.Ret.(*ReturnArg); !ok {
-		return fmt.Errorf("syscall %v: return value has wrong kind %v", c.Meta.Name, c.Ret)
-	}
-	if c.Meta.Ret != nil {
-		if err := checkArg(c.Ret); err != nil {
+		if !found {
+			return fmt.Errorf("syscall %v: union arg '%v' has bad option",
+				c.Meta.Name, a.Type().Name())
+		}
+		if err := validateArg(ctx, c, a.Option); err != nil {
 			return err
 		}
-	} else if c.Ret.Type() != nil {
-		return fmt.Errorf("syscall %v: return value has spurious type: %+v",
-			c.Meta.Name, c.Ret.Type())
+	case *ResultArg:
+		switch a.Type().(type) {
+		case *ResourceType:
+		default:
+			return fmt.Errorf("syscall %v: result arg '%v' has bad meta type %+v",
+				c.Meta.Name, arg.Type().Name(), arg.Type())
+		}
+		if a.Res == nil {
+			break
+		}
+		if !ctx.args[a.Res] {
+			return fmt.Errorf("syscall %v: result arg %v references out-of-tree result: %#v -> %#v",
+				c.Meta.Name, a.Type().Name(), arg, a.Res)
+		}
+		if !(*a.Res.(ArgUsed).Used())[arg] {
+			return fmt.Errorf("syscall %v: result arg '%v' has broken link (%+v)",
+				c.Meta.Name, a.Type().Name(), *a.Res.(ArgUsed).Used())
+		}
+	case *ReturnArg:
+		switch a.Type().(type) {
+		case *ResourceType:
+		default:
+			return fmt.Errorf("syscall %v: result arg '%v' has bad meta type %+v",
+				c.Meta.Name, arg.Type().Name(), arg.Type())
+		}
+	default:
+		return fmt.Errorf("syscall %v: unknown arg '%v' kind",
+			c.Meta.Name, arg.Type().Name())
 	}
 	return nil
 }