./avlint32.go
