cex: style: prefer "res" for the returned value