wrong symbol for ints