}
private final ExprInt toLitInt(String name, Expression value) throws BytecodeException {
ExprInt eb = CastInt.toExprInt(value);
if(!(eb instanceof Literal))
throw new BytecodeException("value of attribute ["+name+"] must have a literal/constant value",getStart());
return eb;
}