Update cramp.h