{-                  
CS_cff (return e) kenv lj = res = (CE_cff e); return;

-- in the actual C backend, we do use the go() sub proc. We can return

CS_cff (return e) kenv lj = return (CE_cff e);
-}
cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_i  (AST.CBlockStmt (AST.CReturn Nothing nodeInfo)) = [ (AST.CBlockStmt (AST.CReturn Nothing nodeInfo)) ]
cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_i  (AST.CBlockStmt (AST.CReturn Nothing nodeInfo)) = [ (AST.CBlockStmt (AST.CReturn Nothing nodeInfo)) ]
cff_trans_stmt isReturnVoid localVars fargs ctxtName fname sw kenv l_i  (AST.CBlockStmt (AST.CReturn Nothing nodeInfo)) = [ (AST.CBlockStmt (AST.CReturn Nothing nodeInfo)) ]