IDC (#409) bug: array index too big (range bound needed '<' rather than '<=')
IDC (#409) bug: array index too big (range bound needed '<' rather than '<=')

GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE,GaloisInc/JavaFE