for (int i = 0; i < unit.body.length; ++i) gen(Context.EMPTY.withSourceFileName(unit.source.toString()), unit.body[i]);
try { for (int i = 0; i < unit.body.length; ++i) gen(Context.EMPTY.withSourceFileName(unit.source.toString()), unit.body[i]); } catch (JCode.OffsetTooBigException e) { throw global.fail(e); }
    public void translate(Unit unit) {        for (int i = 0; i < unit.body.length; ++i)            gen(Context.EMPTY.withSourceFileName(unit.source.toString()),                unit.body[i]);    }