lol @ the nauty source code: some functions are >1k lines long