SET_HDR           211 gc/headers.c       SET_HDR(h, result);
SET_HDR           232 gc/headers.c           SET_HDR(hbp, (hdr *)(i > MAX_JUMP? MAX_JUMP : i));
SET_HDR           256 gc/headers.c           SET_HDR(hbp, 0);