+static const char LOCATE_standard___collection___hash_collection___HashSet___from[] = "hash_collection::HashSet::from";
+void standard___collection___hash_collection___HashSet___from(val_t p0, val_t p1, int* init_table){
+ int itpos8 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_standard___collection___hash_collection___HashSet].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t tmp;
+ if (init_table[itpos8]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_standard___collection___hash_collection;
+ fra.me.line = 449;
+ fra.me.meth = LOCATE_standard___collection___hash_collection___HashSet___from;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.nitni_local_ref_head = NULL;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ../lib/standard/collection/hash_collection.nit:451 */
+ CALL_standard___collection___hash_collection___HashSet___init(fra.me.REG[0])(fra.me.REG[0], init_table);
+ /* ../lib/standard/collection/hash_collection.nit:452 */
+ CALL_standard___collection___abstract_collection___SimpleCollection___add_all(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ stack_frame_head = fra.me.prev;
+ init_table[itpos8] = 1;
+ return;
+}