modified:   interval.c
	modified:   zkp_interval.h
Merge branch 'master' of https://github.com/yishanhe/ZKP
	modified:   interval.c
	modified:   zkp_interval.h