Symbol: GET_INT_CONFIG