gen(Context.EMPTY.withSourceFileName(unit.source.toString()),
gen(Context.EMPTY.withSourceFileName(unit.source.getShortName()),
    public void translate(Unit unit) {        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);        }    }