/* This C file is generated by NIT to compile module standard___collection. */
#include "standard___collection._sep.h"
+static const char LOCATE_standard___collection___Sequence___subarray[] = "collection::Sequence::subarray";
+val_t standard___collection___Sequence___subarray(val_t p0, val_t p1, val_t p2){
+ struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t REGB2;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_standard___collection;
+ fra.me.line = 24;
+ fra.me.meth = LOCATE_standard___collection___Sequence___subarray;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 3;
+ fra.me.nitni_local_ref_head = NULL;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ REGB0 = p1;
+ REGB1 = p2;
+ /* ../lib/standard/collection/collection.nit:26 */
+ fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1);
+ /* ../lib/standard/kernel.nit:238 */
+ REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+ /* ../lib/standard/kernel.nit:355 */
+ while(1) {
+ REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
+ }
+ /* ../lib/standard/kernel.nit:235 */
+ REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+ /* ../lib/standard/kernel.nit:355 */
+ if (UNTAG_Bool(REGB2)) {
+ /* ../lib/standard/collection/collection.nit:27 */
+ REGB2 = REGB0;
+ fra.me.REG[2] = CALL_standard___collection___abstract_collection___SequenceRead_____bra(fra.me.REG[0])(fra.me.REG[0], REGB2);
+ CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+ /* ../lib/standard/kernel.nit:357 */
+ REGB2 = TAG_Int(1);
+ /* ../lib/standard/kernel.nit:238 */
+ REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
+ /* ../lib/standard/kernel.nit:357 */
+ REGB0 = REGB2;
+ } else {
+ /* ../lib/standard/kernel.nit:355 */
+ goto label1;
+ }
+ }
+ label1: while(0);
+ /* ../lib/standard/collection/collection.nit:28 */
+ goto label2;
+ label2: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[1];
+}