NOTICE: official repository moved to https://github.com/sikachu/verification