class_prima = new_type_class(new_id_from_chars ("PRIMA", 5));
/* We need type information for pointers to the class: */
class_p_ptr = new_type_pointer (new_id_from_chars("class_prima_ptr", 15),
class_prima = new_type_class(new_id_from_chars ("PRIMA", 5));
/* We need type information for pointers to the class: */
class_p_ptr = new_type_pointer (new_id_from_chars("class_prima_ptr", 15),