int[] -> bool[]