let buf = String.create buf_size