u32str(otstype) || C || y[0] || ... || y[p-1]