LABELOFFSET
#ifndef LABELOFFSET
static int labeloffset = LABELOFFSET;
d = (void *)(sec + LABELOFFSET);