builtin
switch_on_reg
allocate
add_imports
put_value_t
put_value_t
put_value_t
put_type_structure
set_type_local_value_t
set_type_local_value_t
put_m_const
put_app
globalize_t
set_value_t
globalize_t
set_value_t
put_value_t
head_normalize_t
call_name
fail
