./mkbuiltin.go
