b : Int -> String