Modified fletcher.h