void Slip_INIT(char * Memory,
int Size)
{ UNS_type tag_boundary,
total_number_of_cells;
total_number_of_cells = Size / CEL_SIZE;
if (((UNS_type)Memory % CEL_SIZE) != 0)
Slip_Fail(MNS_error);
if (total_number_of_cells < Minimum_number_of_cells)
Slip_Fail(IMM_error);
tag_boundary = Grammar_Boundary();
Memory_Initialize((ADR_type)Memory,
total_number_of_cells,
tag_boundary);
Root_Initialize();
Grammar_Initialize();
slipken_persist_init(Intermediate_expression, Grammar_Unspecified);
Pool_Initialize_M();
Cache_Initialize_M();
Compile_Initialize();
Dictionary_Initialize();
Environment_Initialize_M();
Thread_Initialize();
Evaluate_Initialize();
Native_Initialize_M();
Print_Initialize();
Read_Initialize();
Stack_Initialize_M();
initialize_print();
MAIN_REGISTER(Grammar_Empty_Vector);
MAIN_REGISTER(Grammar_Newline_String);
MAIN_REGISTER(Intermediate_expression);
/* Slip_Print("cpSlip/c version 13: completion and optimization");*/
/* for (;;)*/
/* read_eval_print_C();*/
}
void initialize_library_module() {
initialize_attribute_manager();
initialize_trace();
initialize_constants();
initialize_fingerprint();
initialize_print();
initialize_placeholder();
initialize_idx_metavar();
initialize_io_state();
initialize_unifier();
initialize_kernel_serializer();
initialize_let();
initialize_typed_expr();
initialize_choice();
initialize_string();
initialize_resolve_macro();
initialize_annotation();
initialize_explicit();
initialize_module();
initialize_protected();
initialize_private();
initialize_scoped_ext();
initialize_reducible();
initialize_aliases();
initialize_coercion();
initialize_unifier_plugin();
initialize_sorry();
initialize_class();
initialize_library_util();
initialize_pp_options();
initialize_projection();
initialize_normalize();
initialize_abbreviation();
initialize_relation_manager();
initialize_user_recursors();
initialize_composition_manager();
initialize_noncomputable();
initialize_aux_recursors();
initialize_class_instance_resolution();
initialize_type_context();
initialize_light_rule_set();
initialize_congr_lemma_manager();
initialize_app_builder();
initialize_fun_info_manager();
initialize_unification_hint();
}
void initialize_library_module() {
initialize_constants();
initialize_fingerprint();
initialize_print();
initialize_placeholder();
initialize_idx_metavar();
initialize_kernel_bindings();
initialize_io_state();
initialize_unifier();
initialize_kernel_serializer();
initialize_let();
initialize_typed_expr();
initialize_choice();
initialize_num();
initialize_string();
initialize_resolve_macro();
initialize_annotation();
initialize_explicit();
initialize_module();
initialize_protected();
initialize_private();
initialize_scoped_ext();
initialize_reducible();
initialize_aliases();
initialize_coercion();
initialize_unifier_plugin();
initialize_sorry();
initialize_class();
initialize_library_util();
initialize_pp_options();
initialize_projection();
initialize_normalize();
initialize_abbreviation();
initialize_relation_manager();
initialize_user_recursors();
initialize_class_instance_elaborator();
initialize_composition_manager();
}
