foreach(I in [5,50,900])
    println(to_binary_string(I))
  end.