for x = 0 to 255 do
  Printf.printf "\\%03o" x
done