MR_def_static(bug513__revert_2_0)
	MR_MAYBE_INIT_LOCAL_THREAD_ENGINE_BASE
	MR_mkframe("pred bug513.revert/2-0", 1,
		MR_LABEL_AP(bug513__revert_2_0_i1));
	MR_mktempframe(MR_LABEL_AP(bug513__revert_2_0_i4));
	MR_r2 = (((MR_Integer) MR_r1) % (MR_Integer) 2);
	if (MR_INT_NE(MR_r2,0)) {
		MR_GOTO_LAB(bug513__revert_2_0_i5);
	}
	MR_fv(1) = MR_r1;
	MR_r1 = (MR_Unsigned) 0U;
	MR_redoip_slot_word(MR_curfr) = ((MR_Word) MR_ENTRY(MR_do_fail));
	MR_succeed();
MR_def_label(bug513__revert_2_0,4)
	MR_MAYBE_INIT_LOCAL_THREAD_ENGINE_BASE
	MR_r1 = MR_fv(1);
MR_def_label(bug513__revert_2_0,5)
	MR_MAYBE_INIT_LOCAL_THREAD_ENGINE_BASE
	MR_maxfr_word = ((MR_Word) MR_prevfr_slot(MR_maxfr));
	MR_r2 = (((MR_Integer) MR_r1) % (MR_Integer) 3);
	if (MR_INT_NE(MR_r2,0)) {
		MR_GOTO(MR_ENTRY(MR_do_redo));
	}
	MR_fv(1) = MR_r1;
	MR_r1 = (MR_Unsigned) 8U;
	MR_redoip_slot_word(MR_curfr) = ((MR_Word) MR_ENTRY(MR_do_fail));
	MR_succeed();
MR_def_label(bug513__revert_2_0,1)
	MR_MAYBE_INIT_LOCAL_THREAD_ENGINE_BASE
	MR_r1 = MR_fv(1);
	MR_redoip_slot_word(MR_curfr) = ((MR_Word) MR_ENTRY(MR_do_fail));
	MR_tag_alloc_heap(MR_r2, 1, (MR_Integer) 1);
	MR_tfield(1, MR_r2, 0) = MR_r1;
	MR_r1 = MR_r2;
	MR_succeed();