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);