Port regen.c to regen.go.