let string_buf = Buffer.create 1024