Carbon dioxide production