labeler computes offsets for local variables