LABEL_OFFSET
for (offset = LABEL_OFFSET, i = -4;; offset = i += 4) {
if (i == LABEL_OFFSET)
update_label(f, 0, LABEL_OFFSET);