Fix indentation in emitted C code
Use the argument provided workspace, rather than default to req->ws.