prod and s_prod ok