Use IntSet in Input classes of all backends.
Use boolean[] in Input classes of all backends.