value is not a symbol for an int