OPENSPECFUN_BRANCH=master
OPENSPECFUN_SHA1=381db9bc865e51de67be9dcaa1610a6f90029c72