Value propagation: push [the Go types of values returned by a Go function] onto the stack