546 {
547 int k;
548
549 if ( ( INT_MAX < 2147483647 ) || ( FLT_RADIX != 2 ) || ( FLT_MANT_DIG < 24 ) ||
550 ( DBL_MANT_DIG < 48 ) )
551 error( 4 );
552
553 define_constants();
554
555 if ( state[0] !=
rlxd_size() ) error( 5 );
556
557 for ( k = 0; k < 96; k++ )
558 {
559 if ( ( state[k + 1] < 0 ) || ( state[k + 1] >= 167777216 ) ) error( 5 );
560
561 x.num[k] = state[k + 1];
562 }
563
564 if ( ( ( state[97] != 0 ) && ( state[97] != 1 ) ) ||
565 ( ( state[98] != 0 ) && ( state[98] != 1 ) ) ||
566 ( ( state[99] != 0 ) && ( state[99] != 1 ) ) ||
567 ( ( state[100] != 0 ) && ( state[100] != 1 ) ) )
568 error( 5 );
569
570 carry.c1 = state[97];
571 carry.c2 = state[98];
572 carry.c3 = state[99];
573 carry.c4 = state[100];
574
575 pr = state[101];
576 ir = state[102];
577 jr = state[103];
578 is = state[104];
579 is_old = 8 * ir;
580 prm = pr % 12;
581 init = 1;
582
583 if ( ( ( pr != 202 ) && ( pr != 397 ) ) || ( ir < 0 ) || ( ir > 11 ) || ( jr < 0 ) ||
584 ( jr > 11 ) || ( jr != ( ( ir + 7 ) % 12 ) ) || ( is < 0 ) || ( is > 91 ) )
585 error( 5 );
586}