def i2osp(x, x_len):