> (defun my-do-ansi () (do ((alfa   0.0)) (nil) (return (list alfa))))
% assert_if_new(soops:o_p_v(u_my_do_ansi, classof, claz_symbol)).
% assert_if_new(soops:o_p_v(u_my_do_ansi, name, "MY-DO-ANSI")).
% assert_if_new(soops:o_p_v(u_my_do_ansi, package, pkg_user)).
% assert_if_new(soops:o_p_v(u_alfa, classof, claz_symbol)).
% assert_if_new(soops:o_p_v(u_alfa, name, "ALFA")).
% assert_if_new(soops:o_p_v(u_alfa, package, pkg_user)).
:- lisp_compiled_eval(
                      [ defun,
                        u_my_do_ansi,
                        [],
                        [do, [[u_alfa, 0.0]], [[]], [return, [list, u_alfa]]]
                      ]).
% COMPILER
addr_tagbody_1_addr_enter_1(Env) :-
        (   []\==[]
        ->  throw(block_exit([], [])),
            _3774=[]
        ;   symbol_value(Env, u_alfa, U_alfa_Get),
            cl_list([U_alfa_Get], RetResult15),
            throw(block_exit([], RetResult15)),
            cl_psetq(Psetq_Ret),
            _3774=Psetq_Ret
        ),
        addr_tagbody_1_dosymu_my_do_ansi1(Env).
addr_tagbody_1_dosymu_my_do_ansi1(BlockExitEnv) :-
        (   []\==[]
        ->  throw(block_exit([], [])),
            _4410=[]
        ;   symbol_value(BlockExitEnv, u_alfa, U_alfa_Get28),
            cl_list([U_alfa_Get28], RetResult27),
            throw(block_exit([], RetResult27)),
            cl_psetq(Psetq_Ret32),
            _4410=Psetq_Ret32
        ),
        addr_tagbody_1_dosymu_my_do_ansi1(BlockExitEnv).
/*
alphas=[u_alfa].
type=ctx.
var_tracker(u_alfa)=rw{name:u_alfa, p:0, r:2, ret:0, u:0, vars:[U_alfa_Get, U_alfa_Get28], w:0}.
 */
% inlined(addr_tagbody_1_addr_enter_1(LETENV)) :-
%       (   []\==[]
%       ->  throw(block_exit([], [])),
%           true
%       ;   symbol_value(LETENV, u_alfa, _22088),
%           cl_list([_22088], _22100),
%           throw(block_exit([], _22100)),
%           cl_psetq(_22132),
%           true
%       ),
%       addr_tagbody_1_dosymu_my_do_ansi1(LETENV).
% 302,349 inferences, 0.086 CPU in 0.087 seconds (100% CPU, 3497028 Lips)
wl:arglist_info(f_u_my_do_ansi, [], [], arginfo{all:0, allow_other_keys:0, aux:0, complex:0, env:0, key:0, names:[], opt:0, req:0, rest:0}).
user:function_lambda(defun(u_my_do_ansi), f_u_my_do_ansi, [], [[do, [[u_alfa, 0.0]], [[]], [return, [list, u_alfa]]]]).
user:f_u_my_do_ansi(MResult) :-
        Env=[],
        catch(( catch(( LETENV=[[bv(u_alfa, 0.0)]|Env],
                        (   []\==[]
                        ->  throw(block_exit([], []))
                        ;   symbol_value(LETENV, u_alfa, _22088),
                            cl_list([_22088], _22100),
                            throw(block_exit([], _22100)),
                            cl_psetq(_22132)
                        ),
                        addr_tagbody_1_dosymu_my_do_ansi1(LETENV),
                        []=_1224
                      ),
                      block_exit([], _1224),
                      true),
                _1224=MResult
              ),
              block_exit(u_my_do_ansi, MResult),
              true).
:- set_opv(f_u_my_do_ansi, classof, claz_compiled_function),
   set_opv(u_my_do_ansi, compile_as, kw_function),
   set_opv(u_my_do_ansi, function, f_u_my_do_ansi).
% EXEC
% assert_if_new(soops:o_p_v(f_u_my_do_ansi, classof, claz_compiled_function)).
% assert_if_new(soops:o_p_v(u_my_do_ansi, compile_as, kw_function)).
% assert_if_new(soops:o_p_v(u_my_do_ansi, function, f_u_my_do_ansi)).
% 27,453 inferences, 0.011 CPU in 0.011 seconds (100% CPU, 2511007 Lips)
MY-DO-ANSI
> (MY-DO-ANSI)
:- lisp_compiled_eval([u_my_do_ansi]).
% COMPILER
% 6,866 inferences, 0.002 CPU in 0.002 seconds (100% CPU, 3494870 Lips)
:- f_u_my_do_ansi(U_my_do_ansi_Ret).
% EXEC
% 71 inferences, 0.000 CPU in 0.000 seconds (99% CPU, 1623302 Lips)
(0.0)
>