let buffer = String.create buffer_size