# String.create 10 ;;
- : string = "\000\023\000\000\001\000\000\000\000\000"