void standard___collection___hash_collection___HashSetNode___init(val_t p0, val_t p1, int* init_table);
typedef void (*standard___collection___hash_collection___HashSetNode___init_t)(val_t p0, val_t p1, int* init_table);
val_t NEW_HashSetNode_standard___collection___hash_collection___HashSetNode___init(val_t p0);
void standard___collection___hash_collection___HashSetNode___init(val_t p0, val_t p1, int* init_table);
typedef void (*standard___collection___hash_collection___HashSetNode___init_t)(val_t p0, val_t p1, int* init_table);
val_t NEW_HashSetNode_standard___collection___hash_collection___HashSetNode___init(val_t p0);