Range.genStart(body, ih), Range.genEnd(body));
Range.genStart(body, clinitStart), Range.genEnd(body, clinitEnd));
    public static BcelShadow makeStaticInitialization(            BcelWorld world,            LazyMethodGen enclosingMethod)     {        InstructionList body = enclosingMethod.getBody();        InstructionHandle ih = body.getStart();        if (ih.getInstruction() instanceof InvokeInstruction) {        	InvokeInstruction ii = (InvokeInstruction)ih.getInstruction();        	if (ii.getName(enclosingMethod.getEnclosingClass().getConstantPoolGen()).equals(NameMangler.AJC_CLINIT_NAME)) {        		ih = ih.getNext();        	}        }        BcelShadow s =            new BcelShadow(                world,                StaticInitialization,                world.makeMethodSignature(enclosingMethod),                enclosingMethod,                null);        ShadowRange r = new ShadowRange(body);        r.associateWithShadow(s);        r.associateWithTargets(            Range.genStart(body, ih),            Range.genEnd(body));        return s;    }