Header of maggs.h.