let create_int_index (productivity: bool) : int index =
  new index productivity (new int_data)