| Clight.Swhile _, e :: _, stmt :: _ ->
      let econd =
  Cminor.Expr (Cminor.Op1 (AST.Op_notbool, e), cminor_type_of e) in
      let block_int = Cminor.St_block stmt in
      let ite =
  Cminor.St_ifthenelse (econd,
                        Cminor.St_exit 0,
                        block_int) in
      let loop = Cminor.St_loop ite in
      let block_ext = Cminor.St_block loop in
      ([], block_ext)