default final int values