./generated.go
./setof.go