sS intToBinary(int i) {
  ret intToBinary_flexLength(i);
}