From 2a5096e4bc4a407f4feb1fb5e7f458f85ba50073 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fredrik=20H=C3=BCbinette=20=28Hubbe=29?= <hubbe@hubbe.net>
Date: Wed, 23 Aug 1995 16:12:17 +0200
Subject: [PATCH] foo
Rev: bin/create_testsuite:1.2
Rev: doc/types/mapping:1.2
Rev: lib/simulate.lpc:1.3
Rev: lib/testsuite.lpc:1.2
Rev: src/array.c:1.3
Rev: src/call_out.c:1.3
Rev: src/configure.in:1.6
Rev: src/debug.c:1.2
Rev: src/debug.h:1.2
Rev: src/docode.c:1.3
Rev: src/dynamic_buffer.c:1.2
Rev: src/interpret.c:1.3
Rev: src/las.c:1.2
Rev: src/lpc_types.c:1.2
Rev: src/macros.h:1.3
Rev: src/main.c:1.5
Rev: src/mapping.c:1.3
Rev: src/modules/regexp/regexp.c:1.3
Rev: src/object.c:1.2
Rev: src/opcodes.c:1.5
Rev: src/port.c:1.7
Rev: src/types.h:1.5
---
bin/create_testsuite | 60 +-
doc/types/mapping | 6 +-
lib/simulate.lpc | 1 +
lib/testsuite.lpc | 1660 +++++++++++++++++++++++++++++++++--
src/array.c | 1 +
src/call_out.c | 1 +
src/configure.in | 2 +-
src/debug.c | 5 +-
src/debug.h | 2 +-
src/docode.c | 3 +-
src/dynamic_buffer.c | 1 +
src/interpret.c | 35 +-
src/las.c | 1 +
src/lpc_types.c | 6 +-
src/macros.h | 1 +
src/main.c | 16 +-
src/mapping.c | 2 +-
src/modules/regexp/regexp.c | 2 +-
src/object.c | 21 +-
src/opcodes.c | 8 +-
src/port.c | 600 +++++++++++++
src/types.h | 1 -
22 files changed, 2308 insertions(+), 127 deletions(-)
diff --git a/bin/create_testsuite b/bin/create_testsuite
index 87b862258f..ee4d6ac733 100755
--- a/bin/create_testsuite
+++ b/bin/create_testsuite
@@ -1398,6 +1398,38 @@ test_eq(search(([1:2,3:4,5:6,7:8]),4),3)
test_true(zero_type(search(([1:2,3:4,5:6,7:8]),1)))
test_eq(search(([1:2,3:4,5:6,7:8]),8),7)
+// test large searches (find string, size, pattern)
+define(test_search,[[
+test_eq(search(sprintf($1+"%'"+$3+"'*n",$2),$1),0)
+test_eq(search(sprintf("%'"+$3+"'*n" ,$2),$1),-1)
+test_eq(search(sprintf("%'"+$3+"'*n"+$1,$2),$1),$2)
+test_eq(search(sprintf("%'"+$3+"'*n"+$1+"%'"+$3+"'*n",$2,$2),$1),$2)
+]])
+
+define(test_search2,[[dnl
+test_search($1,$2,$3)
+test_search($1,$2+1,$3)
+test_search($1,$2+2,$3)
+test_search($1,$2+3,$3)
+]])
+
+define(test_search3,[[dnl
+test_search2($1,10,$2)
+test_search2($1,1000,$2)
+test_search2($1,100000,$2)
+]])
+
+define(test_search4,[[dnl
+test_search3($1,"+-*")
+test_search3($1,($1[0..strlen($1)-2]))
+test_search3($1,($1[1..0x7fffffff]))
+]])
+
+test_search4("SUNE")
+test_search4("-------------------+")
+test_search4("+-------------------")
+test_search4(sprintf("%'argel-bargel glop-glyf?'2000n"))
+
// - sizeof
test_eq(sizeof("felbar"),6)
test_eq(sizeof(({"fulbar","gazonk",7})),3)
@@ -1516,7 +1548,7 @@ test_program(inherit "/test2"; inherit "/test"; mixed a() { setw(20); setb(22);
successes++;
}else{
perror("Test "+(e+1)+" failed.\n");
- if(verbose) perror(test+"\n");
+ perror(test+"\n");
errors++;
}
master()->set_inhibit_compile_errors(0);
@@ -1529,7 +1561,7 @@ test_program(inherit "/test2"; inherit "/test"; mixed a() { setw(20); setb(22);
successes++;
}else{
perror("Test "+(e+1)+" failed.\n");
- if(verbose) perror(test+"\n");
+ perror(test+"\n");
errors++;
}
master()->set_inhibit_compile_errors(0);
@@ -1540,8 +1572,8 @@ test_program(inherit "/test2"; inherit "/test"; mixed a() { setw(20); setb(22);
if(t) trace(t);
a=b=0;
- if(o->a) a=o->a();
- if(o->b) b=o->b();
+ if(functionp(o->a)) a=o->a();
+ if(functionp(o->b)) b=o->b();
if(t) trace(0);
switch(type)
{
@@ -1558,7 +1590,7 @@ test_program(inherit "/test2"; inherit "/test"; mixed a() { setw(20); setb(22);
if(!a)
{
perror("Test "+(e+1)+" failed.\n");
- if(verbose) perror(test+"\n");
+ perror(test+"\n");
errors++;
}else{
successes++;
@@ -1573,12 +1605,9 @@ test_program(inherit "/test2"; inherit "/test"; mixed a() { setw(20); setb(22);
if(a!=b)
{
perror("Test "+(e+1)+" failed.\n");
- if(verbose)
- {
- perror(test+"\n");
- perror(sprintf("o->a(): %O\n",a));
- perror(sprintf("o->b(): %O\n",b));
- }
+ perror(test+"\n");
+ perror(sprintf("o->a(): %O\n",a));
+ perror(sprintf("o->b(): %O\n",b));
errors++;
}else{
successes++;
@@ -1589,12 +1618,9 @@ test_program(inherit "/test2"; inherit "/test"; mixed a() { setw(20); setb(22);
if(!equal(a,b))
{
perror("Test "+(e+1)+" failed.\n");
- if(verbose)
- {
- perror(test+"\n");
- perror(sprintf("o->a(): %O\n",a));
- perror(sprintf("o->b(): %O\n",b));
- }
+ perror(test+"\n");
+ perror(sprintf("o->a(): %O\n",a));
+ perror(sprintf("o->b(): %O\n",b));
errors++;
}else{
successes++;
diff --git a/doc/types/mapping b/doc/types/mapping
index 95d235c2ae..adc5a1906c 100644
--- a/doc/types/mapping
+++ b/doc/types/mapping
@@ -29,9 +29,9 @@ DESCRIPTION
a ^ b : xor, return a mapping with all indices that are present in
a or b but not in both.
a == b : returns 1 if a is the same mapping as b, same size, indices
- and values is not enough.
- a != b : returns 1 if a is the same mapping as b, same size, indices
- and values is not enough.
+ and values is not enough, 0 otherwise.
+ a != b : returns 0 if a is the same mapping as b, same size, indices
+ and values is not enough, 1 otherwise.
! a : boolean not, returns 1
a[c] : indexing, returns the value associated with the value c
in the mapping a. If there is no index c in the mapping
diff --git a/lib/simulate.lpc b/lib/simulate.lpc
index 067e578453..c05ebb14f6 100644
--- a/lib/simulate.lpc
+++ b/lib/simulate.lpc
@@ -344,4 +344,5 @@ void create()
add_efun("write_file",write_file);
add_efun("get_function",get_function);
add_efun("regexp",regexp);
+ add_efun("call_other",call_other);
}
diff --git a/lib/testsuite.lpc b/lib/testsuite.lpc
index 9afaf1f529..a21bcd95fb 100644
--- a/lib/testsuite.lpc
+++ b/lib/testsuite.lpc
@@ -1850,133 +1850,1647 @@ int main(int argc, string *argv)
"=mixed a() { return search(([1:2,3:4,5:6,7:8]),8); }\n"+ // test 791
"mixed b() { return 7; }",
+// test large searches (find string, size, pattern)
+
+
+
+
+
+
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",10),\"SUNE\"); }\n"+ // test 792
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10),\"SUNE\"); }\n"+ // test 793
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",10),\"SUNE\"); }\n"+ // test 794
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",10,10),\"SUNE\"); }\n"+ // test 795
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",10+1),\"SUNE\"); }\n"+ // test 796
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+1),\"SUNE\"); }\n"+ // test 797
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",10+1),\"SUNE\"); }\n"+ // test 798
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",10+1,10+1),\"SUNE\"); }\n"+ // test 799
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",10+2),\"SUNE\"); }\n"+ // test 800
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+2),\"SUNE\"); }\n"+ // test 801
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",10+2),\"SUNE\"); }\n"+ // test 802
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",10+2,10+2),\"SUNE\"); }\n"+ // test 803
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",10+3),\"SUNE\"); }\n"+ // test 804
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+3),\"SUNE\"); }\n"+ // test 805
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",10+3),\"SUNE\"); }\n"+ // test 806
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",10+3,10+3),\"SUNE\"); }\n"+ // test 807
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",1000),\"SUNE\"); }\n"+ // test 808
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000),\"SUNE\"); }\n"+ // test 809
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",1000),\"SUNE\"); }\n"+ // test 810
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",1000,1000),\"SUNE\"); }\n"+ // test 811
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",1000+1),\"SUNE\"); }\n"+ // test 812
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+1),\"SUNE\"); }\n"+ // test 813
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",1000+1),\"SUNE\"); }\n"+ // test 814
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",1000+1,1000+1),\"SUNE\"); }\n"+ // test 815
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",1000+2),\"SUNE\"); }\n"+ // test 816
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+2),\"SUNE\"); }\n"+ // test 817
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",1000+2),\"SUNE\"); }\n"+ // test 818
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",1000+2,1000+2),\"SUNE\"); }\n"+ // test 819
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",1000+3),\"SUNE\"); }\n"+ // test 820
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+3),\"SUNE\"); }\n"+ // test 821
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",1000+3),\"SUNE\"); }\n"+ // test 822
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",1000+3,1000+3),\"SUNE\"); }\n"+ // test 823
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",100000),\"SUNE\"); }\n"+ // test 824
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000),\"SUNE\"); }\n"+ // test 825
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",100000),\"SUNE\"); }\n"+ // test 826
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",100000,100000),\"SUNE\"); }\n"+ // test 827
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",100000+1),\"SUNE\"); }\n"+ // test 828
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+1),\"SUNE\"); }\n"+ // test 829
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",100000+1),\"SUNE\"); }\n"+ // test 830
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",100000+1,100000+1),\"SUNE\"); }\n"+ // test 831
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",100000+2),\"SUNE\"); }\n"+ // test 832
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+2),\"SUNE\"); }\n"+ // test 833
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",100000+2),\"SUNE\"); }\n"+ // test 834
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",100000+2,100000+2),\"SUNE\"); }\n"+ // test 835
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",100000+3),\"SUNE\"); }\n"+ // test 836
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+3),\"SUNE\"); }\n"+ // test 837
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\",100000+3),\"SUNE\"); }\n"+ // test 838
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"SUNE\"+\"%'\"+\"+-*\"+\"'*n\",100000+3,100000+3),\"SUNE\"); }\n"+ // test 839
+ "mixed b() { return 100000+3; }",
+
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",10),\"SUNE\"); }\n"+ // test 840
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,10),\"SUNE\"); }\n"+ // test 841
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",10),\"SUNE\"); }\n"+ // test 842
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",10,10),\"SUNE\"); }\n"+ // test 843
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",10+1),\"SUNE\"); }\n"+ // test 844
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,10+1),\"SUNE\"); }\n"+ // test 845
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",10+1),\"SUNE\"); }\n"+ // test 846
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",10+1,10+1),\"SUNE\"); }\n"+ // test 847
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",10+2),\"SUNE\"); }\n"+ // test 848
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,10+2),\"SUNE\"); }\n"+ // test 849
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",10+2),\"SUNE\"); }\n"+ // test 850
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",10+2,10+2),\"SUNE\"); }\n"+ // test 851
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",10+3),\"SUNE\"); }\n"+ // test 852
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,10+3),\"SUNE\"); }\n"+ // test 853
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",10+3),\"SUNE\"); }\n"+ // test 854
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",10+3,10+3),\"SUNE\"); }\n"+ // test 855
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",1000),\"SUNE\"); }\n"+ // test 856
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,1000),\"SUNE\"); }\n"+ // test 857
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",1000),\"SUNE\"); }\n"+ // test 858
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",1000,1000),\"SUNE\"); }\n"+ // test 859
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",1000+1),\"SUNE\"); }\n"+ // test 860
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,1000+1),\"SUNE\"); }\n"+ // test 861
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",1000+1),\"SUNE\"); }\n"+ // test 862
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",1000+1,1000+1),\"SUNE\"); }\n"+ // test 863
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",1000+2),\"SUNE\"); }\n"+ // test 864
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,1000+2),\"SUNE\"); }\n"+ // test 865
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",1000+2),\"SUNE\"); }\n"+ // test 866
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",1000+2,1000+2),\"SUNE\"); }\n"+ // test 867
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",1000+3),\"SUNE\"); }\n"+ // test 868
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,1000+3),\"SUNE\"); }\n"+ // test 869
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",1000+3),\"SUNE\"); }\n"+ // test 870
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",1000+3,1000+3),\"SUNE\"); }\n"+ // test 871
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",100000),\"SUNE\"); }\n"+ // test 872
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,100000),\"SUNE\"); }\n"+ // test 873
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",100000),\"SUNE\"); }\n"+ // test 874
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",100000,100000),\"SUNE\"); }\n"+ // test 875
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",100000+1),\"SUNE\"); }\n"+ // test 876
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,100000+1),\"SUNE\"); }\n"+ // test 877
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",100000+1),\"SUNE\"); }\n"+ // test 878
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",100000+1,100000+1),\"SUNE\"); }\n"+ // test 879
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",100000+2),\"SUNE\"); }\n"+ // test 880
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,100000+2),\"SUNE\"); }\n"+ // test 881
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",100000+2),\"SUNE\"); }\n"+ // test 882
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",100000+2,100000+2),\"SUNE\"); }\n"+ // test 883
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",100000+3),\"SUNE\"); }\n"+ // test 884
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\" ,100000+3),\"SUNE\"); }\n"+ // test 885
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\",100000+3),\"SUNE\"); }\n"+ // test 886
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[0..strlen(\"SUNE\")-2])+\"'*n\",100000+3,100000+3),\"SUNE\"); }\n"+ // test 887
+ "mixed b() { return 100000+3; }",
+
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",10),\"SUNE\"); }\n"+ // test 888
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,10),\"SUNE\"); }\n"+ // test 889
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",10),\"SUNE\"); }\n"+ // test 890
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",10,10),\"SUNE\"); }\n"+ // test 891
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",10+1),\"SUNE\"); }\n"+ // test 892
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,10+1),\"SUNE\"); }\n"+ // test 893
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",10+1),\"SUNE\"); }\n"+ // test 894
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",10+1,10+1),\"SUNE\"); }\n"+ // test 895
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",10+2),\"SUNE\"); }\n"+ // test 896
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,10+2),\"SUNE\"); }\n"+ // test 897
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",10+2),\"SUNE\"); }\n"+ // test 898
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",10+2,10+2),\"SUNE\"); }\n"+ // test 899
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",10+3),\"SUNE\"); }\n"+ // test 900
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,10+3),\"SUNE\"); }\n"+ // test 901
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",10+3),\"SUNE\"); }\n"+ // test 902
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",10+3,10+3),\"SUNE\"); }\n"+ // test 903
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",1000),\"SUNE\"); }\n"+ // test 904
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,1000),\"SUNE\"); }\n"+ // test 905
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",1000),\"SUNE\"); }\n"+ // test 906
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",1000,1000),\"SUNE\"); }\n"+ // test 907
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",1000+1),\"SUNE\"); }\n"+ // test 908
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,1000+1),\"SUNE\"); }\n"+ // test 909
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",1000+1),\"SUNE\"); }\n"+ // test 910
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",1000+1,1000+1),\"SUNE\"); }\n"+ // test 911
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",1000+2),\"SUNE\"); }\n"+ // test 912
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,1000+2),\"SUNE\"); }\n"+ // test 913
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",1000+2),\"SUNE\"); }\n"+ // test 914
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",1000+2,1000+2),\"SUNE\"); }\n"+ // test 915
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",1000+3),\"SUNE\"); }\n"+ // test 916
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,1000+3),\"SUNE\"); }\n"+ // test 917
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",1000+3),\"SUNE\"); }\n"+ // test 918
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",1000+3,1000+3),\"SUNE\"); }\n"+ // test 919
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",100000),\"SUNE\"); }\n"+ // test 920
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,100000),\"SUNE\"); }\n"+ // test 921
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",100000),\"SUNE\"); }\n"+ // test 922
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",100000,100000),\"SUNE\"); }\n"+ // test 923
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",100000+1),\"SUNE\"); }\n"+ // test 924
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,100000+1),\"SUNE\"); }\n"+ // test 925
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",100000+1),\"SUNE\"); }\n"+ // test 926
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",100000+1,100000+1),\"SUNE\"); }\n"+ // test 927
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",100000+2),\"SUNE\"); }\n"+ // test 928
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,100000+2),\"SUNE\"); }\n"+ // test 929
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",100000+2),\"SUNE\"); }\n"+ // test 930
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",100000+2,100000+2),\"SUNE\"); }\n"+ // test 931
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",100000+3),\"SUNE\"); }\n"+ // test 932
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\" ,100000+3),\"SUNE\"); }\n"+ // test 933
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\",100000+3),\"SUNE\"); }\n"+ // test 934
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\"+\"SUNE\"+\"%'\"+(\"SUNE\"[1..0x7fffffff])+\"'*n\",100000+3,100000+3),\"SUNE\"); }\n"+ // test 935
+ "mixed b() { return 100000+3; }",
+
+
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",10),\"-------------------+\"); }\n"+ // test 936
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10),\"-------------------+\"); }\n"+ // test 937
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",10),\"-------------------+\"); }\n"+ // test 938
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",10,10),\"-------------------+\"); }\n"+ // test 939
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",10+1),\"-------------------+\"); }\n"+ // test 940
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+1),\"-------------------+\"); }\n"+ // test 941
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",10+1),\"-------------------+\"); }\n"+ // test 942
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",10+1,10+1),\"-------------------+\"); }\n"+ // test 943
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",10+2),\"-------------------+\"); }\n"+ // test 944
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+2),\"-------------------+\"); }\n"+ // test 945
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",10+2),\"-------------------+\"); }\n"+ // test 946
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",10+2,10+2),\"-------------------+\"); }\n"+ // test 947
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",10+3),\"-------------------+\"); }\n"+ // test 948
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+3),\"-------------------+\"); }\n"+ // test 949
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",10+3),\"-------------------+\"); }\n"+ // test 950
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",10+3,10+3),\"-------------------+\"); }\n"+ // test 951
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",1000),\"-------------------+\"); }\n"+ // test 952
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000),\"-------------------+\"); }\n"+ // test 953
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",1000),\"-------------------+\"); }\n"+ // test 954
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",1000,1000),\"-------------------+\"); }\n"+ // test 955
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",1000+1),\"-------------------+\"); }\n"+ // test 956
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+1),\"-------------------+\"); }\n"+ // test 957
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",1000+1),\"-------------------+\"); }\n"+ // test 958
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",1000+1,1000+1),\"-------------------+\"); }\n"+ // test 959
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",1000+2),\"-------------------+\"); }\n"+ // test 960
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+2),\"-------------------+\"); }\n"+ // test 961
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",1000+2),\"-------------------+\"); }\n"+ // test 962
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",1000+2,1000+2),\"-------------------+\"); }\n"+ // test 963
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",1000+3),\"-------------------+\"); }\n"+ // test 964
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+3),\"-------------------+\"); }\n"+ // test 965
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",1000+3),\"-------------------+\"); }\n"+ // test 966
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",1000+3,1000+3),\"-------------------+\"); }\n"+ // test 967
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",100000),\"-------------------+\"); }\n"+ // test 968
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000),\"-------------------+\"); }\n"+ // test 969
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",100000),\"-------------------+\"); }\n"+ // test 970
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",100000,100000),\"-------------------+\"); }\n"+ // test 971
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",100000+1),\"-------------------+\"); }\n"+ // test 972
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+1),\"-------------------+\"); }\n"+ // test 973
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",100000+1),\"-------------------+\"); }\n"+ // test 974
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",100000+1,100000+1),\"-------------------+\"); }\n"+ // test 975
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",100000+2),\"-------------------+\"); }\n"+ // test 976
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+2),\"-------------------+\"); }\n"+ // test 977
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",100000+2),\"-------------------+\"); }\n"+ // test 978
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",100000+2,100000+2),\"-------------------+\"); }\n"+ // test 979
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",100000+3),\"-------------------+\"); }\n"+ // test 980
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+3),\"-------------------+\"); }\n"+ // test 981
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\",100000+3),\"-------------------+\"); }\n"+ // test 982
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"-------------------+\"+\"%'\"+\"+-*\"+\"'*n\",100000+3,100000+3),\"-------------------+\"); }\n"+ // test 983
+ "mixed b() { return 100000+3; }",
+
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",10),\"-------------------+\"); }\n"+ // test 984
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,10),\"-------------------+\"); }\n"+ // test 985
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",10),\"-------------------+\"); }\n"+ // test 986
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",10,10),\"-------------------+\"); }\n"+ // test 987
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",10+1),\"-------------------+\"); }\n"+ // test 988
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,10+1),\"-------------------+\"); }\n"+ // test 989
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",10+1),\"-------------------+\"); }\n"+ // test 990
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",10+1,10+1),\"-------------------+\"); }\n"+ // test 991
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",10+2),\"-------------------+\"); }\n"+ // test 992
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,10+2),\"-------------------+\"); }\n"+ // test 993
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",10+2),\"-------------------+\"); }\n"+ // test 994
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",10+2,10+2),\"-------------------+\"); }\n"+ // test 995
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",10+3),\"-------------------+\"); }\n"+ // test 996
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,10+3),\"-------------------+\"); }\n"+ // test 997
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",10+3),\"-------------------+\"); }\n"+ // test 998
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",10+3,10+3),\"-------------------+\"); }\n"+ // test 999
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",1000),\"-------------------+\"); }\n"+ // test 1000
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,1000),\"-------------------+\"); }\n"+ // test 1001
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",1000),\"-------------------+\"); }\n"+ // test 1002
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",1000,1000),\"-------------------+\"); }\n"+ // test 1003
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",1000+1),\"-------------------+\"); }\n"+ // test 1004
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,1000+1),\"-------------------+\"); }\n"+ // test 1005
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",1000+1),\"-------------------+\"); }\n"+ // test 1006
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",1000+1,1000+1),\"-------------------+\"); }\n"+ // test 1007
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",1000+2),\"-------------------+\"); }\n"+ // test 1008
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,1000+2),\"-------------------+\"); }\n"+ // test 1009
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",1000+2),\"-------------------+\"); }\n"+ // test 1010
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",1000+2,1000+2),\"-------------------+\"); }\n"+ // test 1011
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",1000+3),\"-------------------+\"); }\n"+ // test 1012
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,1000+3),\"-------------------+\"); }\n"+ // test 1013
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",1000+3),\"-------------------+\"); }\n"+ // test 1014
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",1000+3,1000+3),\"-------------------+\"); }\n"+ // test 1015
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",100000),\"-------------------+\"); }\n"+ // test 1016
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,100000),\"-------------------+\"); }\n"+ // test 1017
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",100000),\"-------------------+\"); }\n"+ // test 1018
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",100000,100000),\"-------------------+\"); }\n"+ // test 1019
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",100000+1),\"-------------------+\"); }\n"+ // test 1020
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,100000+1),\"-------------------+\"); }\n"+ // test 1021
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",100000+1),\"-------------------+\"); }\n"+ // test 1022
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",100000+1,100000+1),\"-------------------+\"); }\n"+ // test 1023
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",100000+2),\"-------------------+\"); }\n"+ // test 1024
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,100000+2),\"-------------------+\"); }\n"+ // test 1025
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",100000+2),\"-------------------+\"); }\n"+ // test 1026
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",100000+2,100000+2),\"-------------------+\"); }\n"+ // test 1027
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",100000+3),\"-------------------+\"); }\n"+ // test 1028
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\" ,100000+3),\"-------------------+\"); }\n"+ // test 1029
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\",100000+3),\"-------------------+\"); }\n"+ // test 1030
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[0..strlen(\"-------------------+\")-2])+\"'*n\",100000+3,100000+3),\"-------------------+\"); }\n"+ // test 1031
+ "mixed b() { return 100000+3; }",
+
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",10),\"-------------------+\"); }\n"+ // test 1032
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,10),\"-------------------+\"); }\n"+ // test 1033
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",10),\"-------------------+\"); }\n"+ // test 1034
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",10,10),\"-------------------+\"); }\n"+ // test 1035
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",10+1),\"-------------------+\"); }\n"+ // test 1036
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,10+1),\"-------------------+\"); }\n"+ // test 1037
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",10+1),\"-------------------+\"); }\n"+ // test 1038
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",10+1,10+1),\"-------------------+\"); }\n"+ // test 1039
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",10+2),\"-------------------+\"); }\n"+ // test 1040
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,10+2),\"-------------------+\"); }\n"+ // test 1041
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",10+2),\"-------------------+\"); }\n"+ // test 1042
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",10+2,10+2),\"-------------------+\"); }\n"+ // test 1043
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",10+3),\"-------------------+\"); }\n"+ // test 1044
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,10+3),\"-------------------+\"); }\n"+ // test 1045
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",10+3),\"-------------------+\"); }\n"+ // test 1046
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",10+3,10+3),\"-------------------+\"); }\n"+ // test 1047
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",1000),\"-------------------+\"); }\n"+ // test 1048
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,1000),\"-------------------+\"); }\n"+ // test 1049
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",1000),\"-------------------+\"); }\n"+ // test 1050
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",1000,1000),\"-------------------+\"); }\n"+ // test 1051
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",1000+1),\"-------------------+\"); }\n"+ // test 1052
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,1000+1),\"-------------------+\"); }\n"+ // test 1053
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",1000+1),\"-------------------+\"); }\n"+ // test 1054
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",1000+1,1000+1),\"-------------------+\"); }\n"+ // test 1055
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",1000+2),\"-------------------+\"); }\n"+ // test 1056
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,1000+2),\"-------------------+\"); }\n"+ // test 1057
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",1000+2),\"-------------------+\"); }\n"+ // test 1058
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",1000+2,1000+2),\"-------------------+\"); }\n"+ // test 1059
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",1000+3),\"-------------------+\"); }\n"+ // test 1060
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,1000+3),\"-------------------+\"); }\n"+ // test 1061
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",1000+3),\"-------------------+\"); }\n"+ // test 1062
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",1000+3,1000+3),\"-------------------+\"); }\n"+ // test 1063
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",100000),\"-------------------+\"); }\n"+ // test 1064
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,100000),\"-------------------+\"); }\n"+ // test 1065
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",100000),\"-------------------+\"); }\n"+ // test 1066
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",100000,100000),\"-------------------+\"); }\n"+ // test 1067
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",100000+1),\"-------------------+\"); }\n"+ // test 1068
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,100000+1),\"-------------------+\"); }\n"+ // test 1069
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",100000+1),\"-------------------+\"); }\n"+ // test 1070
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",100000+1,100000+1),\"-------------------+\"); }\n"+ // test 1071
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",100000+2),\"-------------------+\"); }\n"+ // test 1072
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,100000+2),\"-------------------+\"); }\n"+ // test 1073
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",100000+2),\"-------------------+\"); }\n"+ // test 1074
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",100000+2,100000+2),\"-------------------+\"); }\n"+ // test 1075
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",100000+3),\"-------------------+\"); }\n"+ // test 1076
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\" ,100000+3),\"-------------------+\"); }\n"+ // test 1077
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\",100000+3),\"-------------------+\"); }\n"+ // test 1078
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\"+\"-------------------+\"+\"%'\"+(\"-------------------+\"[1..0x7fffffff])+\"'*n\",100000+3,100000+3),\"-------------------+\"); }\n"+ // test 1079
+ "mixed b() { return 100000+3; }",
+
+
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",10),\"+-------------------\"); }\n"+ // test 1080
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10),\"+-------------------\"); }\n"+ // test 1081
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",10),\"+-------------------\"); }\n"+ // test 1082
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",10,10),\"+-------------------\"); }\n"+ // test 1083
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",10+1),\"+-------------------\"); }\n"+ // test 1084
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+1),\"+-------------------\"); }\n"+ // test 1085
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",10+1),\"+-------------------\"); }\n"+ // test 1086
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",10+1,10+1),\"+-------------------\"); }\n"+ // test 1087
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",10+2),\"+-------------------\"); }\n"+ // test 1088
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+2),\"+-------------------\"); }\n"+ // test 1089
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",10+2),\"+-------------------\"); }\n"+ // test 1090
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",10+2,10+2),\"+-------------------\"); }\n"+ // test 1091
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",10+3),\"+-------------------\"); }\n"+ // test 1092
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+3),\"+-------------------\"); }\n"+ // test 1093
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",10+3),\"+-------------------\"); }\n"+ // test 1094
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",10+3,10+3),\"+-------------------\"); }\n"+ // test 1095
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",1000),\"+-------------------\"); }\n"+ // test 1096
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000),\"+-------------------\"); }\n"+ // test 1097
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",1000),\"+-------------------\"); }\n"+ // test 1098
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",1000,1000),\"+-------------------\"); }\n"+ // test 1099
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",1000+1),\"+-------------------\"); }\n"+ // test 1100
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+1),\"+-------------------\"); }\n"+ // test 1101
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",1000+1),\"+-------------------\"); }\n"+ // test 1102
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",1000+1,1000+1),\"+-------------------\"); }\n"+ // test 1103
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",1000+2),\"+-------------------\"); }\n"+ // test 1104
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+2),\"+-------------------\"); }\n"+ // test 1105
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",1000+2),\"+-------------------\"); }\n"+ // test 1106
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",1000+2,1000+2),\"+-------------------\"); }\n"+ // test 1107
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",1000+3),\"+-------------------\"); }\n"+ // test 1108
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+3),\"+-------------------\"); }\n"+ // test 1109
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",1000+3),\"+-------------------\"); }\n"+ // test 1110
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",1000+3,1000+3),\"+-------------------\"); }\n"+ // test 1111
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",100000),\"+-------------------\"); }\n"+ // test 1112
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000),\"+-------------------\"); }\n"+ // test 1113
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",100000),\"+-------------------\"); }\n"+ // test 1114
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",100000,100000),\"+-------------------\"); }\n"+ // test 1115
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",100000+1),\"+-------------------\"); }\n"+ // test 1116
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+1),\"+-------------------\"); }\n"+ // test 1117
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",100000+1),\"+-------------------\"); }\n"+ // test 1118
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",100000+1,100000+1),\"+-------------------\"); }\n"+ // test 1119
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",100000+2),\"+-------------------\"); }\n"+ // test 1120
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+2),\"+-------------------\"); }\n"+ // test 1121
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",100000+2),\"+-------------------\"); }\n"+ // test 1122
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",100000+2,100000+2),\"+-------------------\"); }\n"+ // test 1123
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",100000+3),\"+-------------------\"); }\n"+ // test 1124
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+3),\"+-------------------\"); }\n"+ // test 1125
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\",100000+3),\"+-------------------\"); }\n"+ // test 1126
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+\"+-------------------\"+\"%'\"+\"+-*\"+\"'*n\",100000+3,100000+3),\"+-------------------\"); }\n"+ // test 1127
+ "mixed b() { return 100000+3; }",
+
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",10),\"+-------------------\"); }\n"+ // test 1128
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,10),\"+-------------------\"); }\n"+ // test 1129
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",10),\"+-------------------\"); }\n"+ // test 1130
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",10,10),\"+-------------------\"); }\n"+ // test 1131
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",10+1),\"+-------------------\"); }\n"+ // test 1132
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,10+1),\"+-------------------\"); }\n"+ // test 1133
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",10+1),\"+-------------------\"); }\n"+ // test 1134
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",10+1,10+1),\"+-------------------\"); }\n"+ // test 1135
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",10+2),\"+-------------------\"); }\n"+ // test 1136
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,10+2),\"+-------------------\"); }\n"+ // test 1137
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",10+2),\"+-------------------\"); }\n"+ // test 1138
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",10+2,10+2),\"+-------------------\"); }\n"+ // test 1139
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",10+3),\"+-------------------\"); }\n"+ // test 1140
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,10+3),\"+-------------------\"); }\n"+ // test 1141
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",10+3),\"+-------------------\"); }\n"+ // test 1142
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",10+3,10+3),\"+-------------------\"); }\n"+ // test 1143
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",1000),\"+-------------------\"); }\n"+ // test 1144
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,1000),\"+-------------------\"); }\n"+ // test 1145
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",1000),\"+-------------------\"); }\n"+ // test 1146
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",1000,1000),\"+-------------------\"); }\n"+ // test 1147
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",1000+1),\"+-------------------\"); }\n"+ // test 1148
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,1000+1),\"+-------------------\"); }\n"+ // test 1149
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",1000+1),\"+-------------------\"); }\n"+ // test 1150
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",1000+1,1000+1),\"+-------------------\"); }\n"+ // test 1151
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",1000+2),\"+-------------------\"); }\n"+ // test 1152
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,1000+2),\"+-------------------\"); }\n"+ // test 1153
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",1000+2),\"+-------------------\"); }\n"+ // test 1154
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",1000+2,1000+2),\"+-------------------\"); }\n"+ // test 1155
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",1000+3),\"+-------------------\"); }\n"+ // test 1156
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,1000+3),\"+-------------------\"); }\n"+ // test 1157
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",1000+3),\"+-------------------\"); }\n"+ // test 1158
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",1000+3,1000+3),\"+-------------------\"); }\n"+ // test 1159
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",100000),\"+-------------------\"); }\n"+ // test 1160
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,100000),\"+-------------------\"); }\n"+ // test 1161
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",100000),\"+-------------------\"); }\n"+ // test 1162
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",100000,100000),\"+-------------------\"); }\n"+ // test 1163
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",100000+1),\"+-------------------\"); }\n"+ // test 1164
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,100000+1),\"+-------------------\"); }\n"+ // test 1165
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",100000+1),\"+-------------------\"); }\n"+ // test 1166
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",100000+1,100000+1),\"+-------------------\"); }\n"+ // test 1167
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",100000+2),\"+-------------------\"); }\n"+ // test 1168
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,100000+2),\"+-------------------\"); }\n"+ // test 1169
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",100000+2),\"+-------------------\"); }\n"+ // test 1170
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",100000+2,100000+2),\"+-------------------\"); }\n"+ // test 1171
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",100000+3),\"+-------------------\"); }\n"+ // test 1172
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\" ,100000+3),\"+-------------------\"); }\n"+ // test 1173
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\",100000+3),\"+-------------------\"); }\n"+ // test 1174
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[0..strlen(\"+-------------------\")-2])+\"'*n\",100000+3,100000+3),\"+-------------------\"); }\n"+ // test 1175
+ "mixed b() { return 100000+3; }",
+
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",10),\"+-------------------\"); }\n"+ // test 1176
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,10),\"+-------------------\"); }\n"+ // test 1177
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",10),\"+-------------------\"); }\n"+ // test 1178
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",10,10),\"+-------------------\"); }\n"+ // test 1179
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",10+1),\"+-------------------\"); }\n"+ // test 1180
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,10+1),\"+-------------------\"); }\n"+ // test 1181
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",10+1),\"+-------------------\"); }\n"+ // test 1182
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",10+1,10+1),\"+-------------------\"); }\n"+ // test 1183
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",10+2),\"+-------------------\"); }\n"+ // test 1184
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,10+2),\"+-------------------\"); }\n"+ // test 1185
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",10+2),\"+-------------------\"); }\n"+ // test 1186
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",10+2,10+2),\"+-------------------\"); }\n"+ // test 1187
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",10+3),\"+-------------------\"); }\n"+ // test 1188
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,10+3),\"+-------------------\"); }\n"+ // test 1189
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",10+3),\"+-------------------\"); }\n"+ // test 1190
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",10+3,10+3),\"+-------------------\"); }\n"+ // test 1191
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",1000),\"+-------------------\"); }\n"+ // test 1192
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,1000),\"+-------------------\"); }\n"+ // test 1193
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",1000),\"+-------------------\"); }\n"+ // test 1194
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",1000,1000),\"+-------------------\"); }\n"+ // test 1195
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",1000+1),\"+-------------------\"); }\n"+ // test 1196
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,1000+1),\"+-------------------\"); }\n"+ // test 1197
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",1000+1),\"+-------------------\"); }\n"+ // test 1198
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",1000+1,1000+1),\"+-------------------\"); }\n"+ // test 1199
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",1000+2),\"+-------------------\"); }\n"+ // test 1200
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,1000+2),\"+-------------------\"); }\n"+ // test 1201
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",1000+2),\"+-------------------\"); }\n"+ // test 1202
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",1000+2,1000+2),\"+-------------------\"); }\n"+ // test 1203
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",1000+3),\"+-------------------\"); }\n"+ // test 1204
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,1000+3),\"+-------------------\"); }\n"+ // test 1205
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",1000+3),\"+-------------------\"); }\n"+ // test 1206
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",1000+3,1000+3),\"+-------------------\"); }\n"+ // test 1207
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",100000),\"+-------------------\"); }\n"+ // test 1208
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,100000),\"+-------------------\"); }\n"+ // test 1209
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",100000),\"+-------------------\"); }\n"+ // test 1210
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",100000,100000),\"+-------------------\"); }\n"+ // test 1211
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",100000+1),\"+-------------------\"); }\n"+ // test 1212
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,100000+1),\"+-------------------\"); }\n"+ // test 1213
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",100000+1),\"+-------------------\"); }\n"+ // test 1214
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",100000+1,100000+1),\"+-------------------\"); }\n"+ // test 1215
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",100000+2),\"+-------------------\"); }\n"+ // test 1216
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,100000+2),\"+-------------------\"); }\n"+ // test 1217
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",100000+2),\"+-------------------\"); }\n"+ // test 1218
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",100000+2,100000+2),\"+-------------------\"); }\n"+ // test 1219
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",100000+3),\"+-------------------\"); }\n"+ // test 1220
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\" ,100000+3),\"+-------------------\"); }\n"+ // test 1221
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\",100000+3),\"+-------------------\"); }\n"+ // test 1222
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\"+\"+-------------------\"+\"%'\"+(\"+-------------------\"[1..0x7fffffff])+\"'*n\",100000+3,100000+3),\"+-------------------\"); }\n"+ // test 1223
+ "mixed b() { return 100000+3; }",
+
+
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1224
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1225
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1226
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",10,10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1227
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1228
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1229
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1230
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",10+1,10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1231
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1232
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1233
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1234
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",10+2,10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1235
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1236
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1237
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1238
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",10+3,10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1239
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1240
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1241
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1242
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",1000,1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1243
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1244
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1245
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1246
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",1000+1,1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1247
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1248
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1249
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1250
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",1000+2,1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1251
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1252
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1253
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1254
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",1000+3,1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1255
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1256
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1257
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1258
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",100000,100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1259
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1260
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1261
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1262
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",100000+1,100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1263
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1264
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1265
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1266
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",100000+2,100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1267
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1268
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\" ,100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1269
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1270
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+\"+-*\"+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+\"+-*\"+\"'*n\",100000+3,100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1271
+ "mixed b() { return 100000+3; }",
+
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1272
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1273
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1274
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",10,10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1275
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1276
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1277
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1278
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",10+1,10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1279
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1280
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1281
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1282
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",10+2,10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1283
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1284
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1285
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1286
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",10+3,10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1287
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1288
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1289
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1290
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",1000,1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1291
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1292
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1293
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1294
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",1000+1,1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1295
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1296
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1297
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1298
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",1000+2,1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1299
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1300
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1301
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1302
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",1000+3,1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1303
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1304
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1305
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1306
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",100000,100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1307
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1308
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1309
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1310
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",100000+1,100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1311
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1312
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1313
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1314
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",100000+2,100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1315
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1316
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\" ,100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1317
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1318
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[0..strlen(sprintf(\"%'argel-bargel glop-glyf?'2000n\"))-2])+\"'*n\",100000+3,100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1319
+ "mixed b() { return 100000+3; }",
+
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1320
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1321
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1322
+ "mixed b() { return 10; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",10,10),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1323
+ "mixed b() { return 10; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1324
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1325
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1326
+ "mixed b() { return 10+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",10+1,10+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1327
+ "mixed b() { return 10+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1328
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1329
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1330
+ "mixed b() { return 10+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",10+2,10+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1331
+ "mixed b() { return 10+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1332
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1333
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1334
+ "mixed b() { return 10+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",10+3,10+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1335
+ "mixed b() { return 10+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1336
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1337
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1338
+ "mixed b() { return 1000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",1000,1000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1339
+ "mixed b() { return 1000; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1340
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1341
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1342
+ "mixed b() { return 1000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",1000+1,1000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1343
+ "mixed b() { return 1000+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1344
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1345
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1346
+ "mixed b() { return 1000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",1000+2,1000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1347
+ "mixed b() { return 1000+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1348
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1349
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1350
+ "mixed b() { return 1000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",1000+3,1000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1351
+ "mixed b() { return 1000+3; }",
+
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1352
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1353
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1354
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",100000,100000),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1355
+ "mixed b() { return 100000; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1356
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1357
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1358
+ "mixed b() { return 100000+1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",100000+1,100000+1),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1359
+ "mixed b() { return 100000+1; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1360
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1361
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1362
+ "mixed b() { return 100000+2; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",100000+2,100000+2),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1363
+ "mixed b() { return 100000+2; }",
+
+
+ "=mixed a() { return search(sprintf(sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1364
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\" ,100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1365
+ "mixed b() { return -1; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\"),100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1366
+ "mixed b() { return 100000+3; }",
+ "=mixed a() { return search(sprintf(\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\"+sprintf(\"%'argel-bargel glop-glyf?'2000n\")+\"%'\"+(sprintf(\"%'argel-bargel glop-glyf?'2000n\")[1..0x7fffffff])+\"'*n\",100000+3,100000+3),sprintf(\"%'argel-bargel glop-glyf?'2000n\")); }\n"+ // test 1367
+ "mixed b() { return 100000+3; }",
+
+
+
+
+
+ "=mixed a() { return search(sprintf(\"SUNE%'+-*'100000n\"),\"SUNE\"); }\n"+ // test 1368
+ "mixed b() { return 0; }",
+ "=mixed a() { return search(sprintf(\"%'+-*'100000nSUNE\"),\"SUNE\"); }\n"+ // test 1369
+ "mixed b() { return 100000; }",
+ "=mixed a() { return search(sprintf(\"%'+-*'100001nSUNE\"),\"SUNE\"); }\n"+ // test 1370
+ "mixed b() { return 100001; }",
+ "=mixed a() { return search(sprintf(\"%'+-*'100002nSUNE\"),\"SUNE\"); }\n"+ // test 1371
+ "mixed b() { return 100002; }",
+ "=mixed a() { return search(sprintf(\"%'+-*'100003nSUNE\"),\"SUNE\"); }\n"+ // test 1372
+ "mixed b() { return 100003; }",
+
+
// - sizeof
- "=mixed a() { return sizeof(\"felbar\"); }\n"+ // test 792
+ "=mixed a() { return sizeof(\"felbar\"); }\n"+ // test 1373
"mixed b() { return 6; }",
- "=mixed a() { return sizeof(({\"fulbar\",\"gazonk\",7})); }\n"+ // test 793
+ "=mixed a() { return sizeof(({\"fulbar\",\"gazonk\",7})); }\n"+ // test 1374
"mixed b() { return 3; }",
- "=mixed a() { return sizeof(([8:3,6:6,7:0])); }\n"+ // test 794
+ "=mixed a() { return sizeof(([8:3,6:6,7:0])); }\n"+ // test 1375
"mixed b() { return 3; }",
- "=mixed a() { return sizeof((<8,7,6,5,4,7>)); }\n"+ // test 795
+ "=mixed a() { return sizeof((<8,7,6,5,4,7>)); }\n"+ // test 1376
"mixed b() { return 6; }",
// - sum
- "=mixed a() { return sum(1,1); }\n"+ // test 796
+ "=mixed a() { return sum(1,1); }\n"+ // test 1377
"mixed b() { return 2; }",
- "=mixed a() { return sum(1,-2); }\n"+ // test 797
+ "=mixed a() { return sum(1,-2); }\n"+ // test 1378
"mixed b() { return -1; }",
- "=mixed a() { return sum(-2,-2); }\n"+ // test 798
+ "=mixed a() { return sum(-2,-2); }\n"+ // test 1379
"mixed b() { return -4; }",
- "=mixed a() { return sum(\"hi\",\"there\"); }\n"+ // test 799
+ "=mixed a() { return sum(\"hi\",\"there\"); }\n"+ // test 1380
"mixed b() { return \"hithere\"; }",
- "=mixed a() { return sum(\"human\",\"number\",666); }\n"+ // test 800
+ "=mixed a() { return sum(\"human\",\"number\",666); }\n"+ // test 1381
"mixed b() { return \"humannumber666\"; }",
- "=mixed a() { return sum(\"human\",\"number\",666); }\n"+ // test 801
+ "=mixed a() { return sum(\"human\",\"number\",666); }\n"+ // test 1382
"mixed b() { return \"humannumber666\"; }",
- "=mixed a() { return sum(\"human\",\"number\",666); }\n"+ // test 802
+ "=mixed a() { return sum(\"human\",\"number\",666); }\n"+ // test 1383
"mixed b() { return \"humannumber666\"; }",
- "=mixed a() { return sum(\"human\",\"number\",666,111); }\n"+ // test 803
+ "=mixed a() { return sum(\"human\",\"number\",666,111); }\n"+ // test 1384
"mixed b() { return \"humannumber666111\"; }",
- "=mixed a() { return sum(\"humannumber\",sum(666+111)); }\n"+ // test 804
+ "=mixed a() { return sum(\"humannumber\",sum(666+111)); }\n"+ // test 1385
"mixed b() { return \"humannumber777\"; }",
- "=mixed a() { return sum(\"a\",\"b\",\"c\",\"d\",\"e\",\"f\",\"g\",\"h\",\"i\",\"j\",\"k\",\"l\",\"m\",\"n\",\"o\",\"p\",\"q\",\"r\",\"s\",\"t\",\"u\",\"v\",\"x\",\"y\"); }\n"+ // test 805
+ "=mixed a() { return sum(\"a\",\"b\",\"c\",\"d\",\"e\",\"f\",\"g\",\"h\",\"i\",\"j\",\"k\",\"l\",\"m\",\"n\",\"o\",\"p\",\"q\",\"r\",\"s\",\"t\",\"u\",\"v\",\"x\",\"y\"); }\n"+ // test 1386
"mixed b() { return \"abcdefghijklmnopqrstuvxy\"; }",
- "=mixed a() { return sum(1.0+1.0); }\n"+ // test 806
+ "=mixed a() { return sum(1.0+1.0); }\n"+ // test 1387
"mixed b() { return 2.0; }",
- "=mixed a() { return sum(1.0,-1.0); }\n"+ // test 807
+ "=mixed a() { return sum(1.0,-1.0); }\n"+ // test 1388
"mixed b() { return 0.0; }",
- "=mixed a() { return sum(-1.0,-1.0); }\n"+ // test 808
+ "=mixed a() { return sum(-1.0,-1.0); }\n"+ // test 1389
"mixed b() { return -2.0; }",
- "emixed a() { return sum(({1,2,3}),({4,5,6})); }\n"+ // test 809
+ "emixed a() { return sum(({1,2,3}),({4,5,6})); }\n"+ // test 1390
"mixed b() { return ({1,2,3,4,5,6}); }",
- "emixed a() { return sum((<1,2,3,4>),(<4,5,6>)); }\n"+ // test 810
+ "emixed a() { return sum((<1,2,3,4>),(<4,5,6>)); }\n"+ // test 1391
"mixed b() { return (<1,2,3,4,4,5,6>); }",
- "emixed a() { return sum(([0:1,3:6]),([5:2,3:6])); }\n"+ // test 811
+ "emixed a() { return sum(([0:1,3:6]),([5:2,3:6])); }\n"+ // test 1392
"mixed b() { return ([0:1,3:6,3:6,5:2]); }",
// - this_object
- "tmixed a() { return objectp(this_object()); }", // test 812
+ "tmixed a() { return objectp(this_object()); }", // test 1393
// - throw
- "=mixed a() { return 20; }\n"+ // test 813
+ "=mixed a() { return 20; }\n"+ // test 1394
"mixed b() { return catch(throw(a())); }",
// - time
- "tmixed a() { return intp(time()); }", // test 814
+ "tmixed a() { return intp(time()); }", // test 1395
// - trace
- "dmixed a() { trace(0); }\n", // test 815
- "=mixed a() { return trace(0); }\n"+ // test 816
+ "dmixed a() { trace(0); }\n", // test 1396
+ "=mixed a() { return trace(0); }\n"+ // test 1397
"mixed b() { return 0; }",
// - upper_case
- "emixed a() { return upper_case(\"fooq\"); }\n"+ // test 817
+ "emixed a() { return upper_case(\"fooq\"); }\n"+ // test 1398
"mixed b() { return \"FOOQ\"; }",
- "emixed a() { return upper_case(\"FooR\"); }\n"+ // test 818
+ "emixed a() { return upper_case(\"FooR\"); }\n"+ // test 1399
"mixed b() { return \"FOOR\"; }",
- "emixed a() { return upper_case(\"Foo1234-*~\\n\"); }\n"+ // test 819
+ "emixed a() { return upper_case(\"Foo1234-*~\\n\"); }\n"+ // test 1400
"mixed b() { return \"FOO1234-*~\\n\"; }",
// - values
- "emixed a() { return values(\"foo\"); }\n"+ // test 820
+ "emixed a() { return values(\"foo\"); }\n"+ // test 1401
"mixed b() { return ({'f','o','o'}); }",
- "emixed a() { return values(({'f','o','o'})); }\n"+ // test 821
+ "emixed a() { return values(({'f','o','o'})); }\n"+ // test 1402
"mixed b() { return ({'f','o','o'}); }",
- "emixed a() { return sort_array(values(([7:3,8:9,99:12]))); }\n"+ // test 822
+ "emixed a() { return sort_array(values(([7:3,8:9,99:12]))); }\n"+ // test 1403
"mixed b() { return ({3,9,12}); }",
- "emixed a() { return values((<7,8,99>)); }\n"+ // test 823
+ "emixed a() { return values((<7,8,99>)); }\n"+ // test 1404
"mixed b() { return ({1,1,1}); }",
// - zero_type
- "=mixed a() { return zero_type(0); }\n"+ // test 824
+ "=mixed a() { return zero_type(0); }\n"+ // test 1405
"mixed b() { return 0; }",
- "=mixed a() { return zero_type(([])[7]); }\n"+ // test 825
+ "=mixed a() { return zero_type(([])[7]); }\n"+ // test 1406
"mixed b() { return 1; }",
// - call_out, call_out_info, remove_call_out, find_call_out
- "dmixed a() { call_out(a,100000); }\n", // test 826
- "tmixed a() { return arrayp(call_out_info()); }", // test 827
- "tmixed a() { return sizeof(call_out_info()) > 0; }", // test 828
- "tmixed a() { return call_out_info()[-1][0] > 1; }", // test 829
- "=mixed a() { return find_call_out(call_out_info()[-1][2]); }\n"+ // test 830
+ "dmixed a() { call_out(a,100000); }\n", // test 1407
+ "tmixed a() { return arrayp(call_out_info()); }", // test 1408
+ "tmixed a() { return sizeof(call_out_info()) > 0; }", // test 1409
+ "tmixed a() { return call_out_info()[-1][0] > 1; }", // test 1410
+ "=mixed a() { return find_call_out(call_out_info()[-1][2]); }\n"+ // test 1411
"mixed b() { return call_out_info()[-1][0]; }",
- "=mixed a() { return find_call_out(a); }\n"+ // test 831
+ "=mixed a() { return find_call_out(a); }\n"+ // test 1412
"mixed b() { return -1; }",
- "tmixed a() { return zero_type(find_call_out(a)); }", // test 832
- "dmixed a() { remove_call_out(call_out_info()[-1][2]); }\n", // test 833
- "tmixed a() { return !sizeof(call_out_info()) || function_name(call_out_info()[-1][2])!=\"a\"; }", // test 834
+ "tmixed a() { return zero_type(find_call_out(a)); }", // test 1413
+ "dmixed a() { remove_call_out(call_out_info()[-1][2]); }\n", // test 1414
+ "tmixed a() { return !sizeof(call_out_info()) || function_name(call_out_info()[-1][2])!=\"a\"; }", // test 1415
// m_delete
- "emixed a() { return ([1:1]); }\n"+ // test 835
+ "emixed a() { return ([1:1]); }\n"+ // test 1416
"mixed b() { return m_delete(a(),0); }",
- "emixed a() { return ([1:1]); }\n"+ // test 836
+ "emixed a() { return ([1:1]); }\n"+ // test 1417
"mixed b() { return m_delete(([1:1,0:3]),0); }",
- "=mixed a() { mapping a=([1:1]); return a==m_delete(a,1); }\n"+ // test 837
+ "=mixed a() { mapping a=([1:1]); return a==m_delete(a,1); }\n"+ // test 1418
"mixed b() { return 1; }",
- "t\n"+"int b=10; mixed a() { return 1; }\n", // test 838
- "t\n"+"mixed b=10; mixed a() { return 1;}\n", // test 839
- "Pstring a() { return \"/test\"; }\n"+ // test 840
+ "t\n"+"int b=10; mixed a() { return 1; }\n", // test 1419
+ "t\n"+"mixed b=10; mixed a() { return 1;}\n", // test 1420
+ "Pstring a() { return \"/test\"; }\n"+ // test 1421
"string b() { return \"int q,w,e,r,t; mixed foo() { return 10; }\"; }",
- "t\n"+"inherit \"/test\"; mixed a() { return foo()==10; }\n", // test 841
- "t\n"+"inherit \"/test\"; mixed a() { return test::foo()==10; }\n", // test 842
- "t\n"+"inherit \"/test\" : bar; mixed a() { return bar::foo()==10; }\n", // test 843
+ "t\n"+"inherit \"/test\"; mixed a() { return foo()==10; }\n", // test 1422
+ "t\n"+"inherit \"/test\"; mixed a() { return test::foo()==10; }\n", // test 1423
+ "t\n"+"inherit \"/test\" : bar; mixed a() { return bar::foo()==10; }\n", // test 1424
- "Pstring a() { return \"/test2\"; }\n"+ // test 844
+ "Pstring a() { return \"/test2\"; }\n"+ // test 1425
"string b() { return \"int z,x,c,v,b; mixed bar() { return 11; }\"; }",
- "t\n"+"inherit \"/test\"; inherit \"/test2\"; mixed a() { return foo()==10 && bar()==11; }\n", // test 845
- "t\n"+"inherit \"/test2\"; inherit \"/test\"; mixed a() { return foo()==10 && bar()==11; }\n", // test 846
+ "t\n"+"inherit \"/test\"; inherit \"/test2\"; mixed a() { return foo()==10 && bar()==11; }\n", // test 1426
+ "t\n"+"inherit \"/test2\"; inherit \"/test\"; mixed a() { return foo()==10 && bar()==11; }\n", // test 1427
- "Pstring a() { return \"/test\"; }\n"+ // test 847
+ "Pstring a() { return \"/test\"; }\n"+ // test 1428
"string b() { return \"int q,w,e,r; mixed t; mixed getw() { return w; } void setw(int _) { w=_; }\"; }",
- "Pstring a() { return \"/test2\"; }\n"+ // test 848
+ "Pstring a() { return \"/test2\"; }\n"+ // test 1429
"string b() { return \"int z,x,c,v,b; mixed getb() { return b; } void setb(int _) { b=_; }\"; }",
- "t\n"+"inherit \"/test\"; inherit \"/test2\"; mixed a() { w=20; b=22; return getw()==20 && getb()==22; }\n", // test 849
- "t\n"+"inherit \"/test\"; inherit \"/test2\"; mixed a() { setw(20); setb(22); return w==20 && b==22; }\n", // test 850
- "t\n"+"inherit \"/test2\"; inherit \"/test\"; mixed a() { w=20; b=22; return getw()==20 && getb()==22; }\n", // test 851
- "t\n"+"inherit \"/test2\"; inherit \"/test\"; mixed a() { setw(20); setb(22); return w==20 && b==22; }\n", // test 852
+ "t\n"+"inherit \"/test\"; inherit \"/test2\"; mixed a() { w=20; b=22; return getw()==20 && getb()==22; }\n", // test 1430
+ "t\n"+"inherit \"/test\"; inherit \"/test2\"; mixed a() { setw(20); setb(22); return w==20 && b==22; }\n", // test 1431
+ "t\n"+"inherit \"/test2\"; inherit \"/test\"; mixed a() { w=20; b=22; return getw()==20 && getb()==22; }\n", // test 1432
+ "t\n"+"inherit \"/test2\"; inherit \"/test\"; mixed a() { setw(20); setb(22); return w==20 && b==22; }\n", // test 1433
});
@@ -2008,7 +3522,7 @@ int main(int argc, string *argv)
successes++;
}else{
perror("Test "+(e+1)+" failed.\n");
- if(verbose) perror(test+"\n");
+ perror(test+"\n");
errors++;
}
master()->set_inhibit_compile_errors(0);
@@ -2021,7 +3535,7 @@ int main(int argc, string *argv)
successes++;
}else{
perror("Test "+(e+1)+" failed.\n");
- if(verbose) perror(test+"\n");
+ perror(test+"\n");
errors++;
}
master()->set_inhibit_compile_errors(0);
@@ -2050,7 +3564,7 @@ int main(int argc, string *argv)
if(!a)
{
perror("Test "+(e+1)+" failed.\n");
- if(verbose) perror(test+"\n");
+ perror(test+"\n");
errors++;
}else{
successes++;
@@ -2065,12 +3579,9 @@ int main(int argc, string *argv)
if(a!=b)
{
perror("Test "+(e+1)+" failed.\n");
- if(verbose)
- {
- perror(test+"\n");
- perror(sprintf("o->a(): %O\n",a));
- perror(sprintf("o->b(): %O\n",b));
- }
+ perror(test+"\n");
+ perror(sprintf("o->a(): %O\n",a));
+ perror(sprintf("o->b(): %O\n",b));
errors++;
}else{
successes++;
@@ -2081,12 +3592,9 @@ int main(int argc, string *argv)
if(!equal(a,b))
{
perror("Test "+(e+1)+" failed.\n");
- if(verbose)
- {
- perror(test+"\n");
- perror(sprintf("o->a(): %O\n",a));
- perror(sprintf("o->b(): %O\n",b));
- }
+ perror(test+"\n");
+ perror(sprintf("o->a(): %O\n",a));
+ perror(sprintf("o->b(): %O\n",b));
errors++;
}else{
successes++;
diff --git a/src/array.c b/src/array.c
index 2dfc39f992..d953af505e 100644
--- a/src/array.c
+++ b/src/array.c
@@ -10,6 +10,7 @@
#include "lpc_types.h"
#include "fsort.h"
#include "builtin_efuns.h"
+#include "memory.h"
struct array empty_array=
{
diff --git a/src/call_out.c b/src/call_out.c
index 7ed40e90fa..142c3cfe1a 100644
--- a/src/call_out.c
+++ b/src/call_out.c
@@ -8,6 +8,7 @@
#include "error.h"
#include "builtin_efuns.h"
#include "sys/types.h"
+#include "memory.h"
call_out **pending_calls=0; /* pointer to first busy pointer */
int num_pending_calls; /* no of busy pointers in buffer */
diff --git a/src/configure.in b/src/configure.in
index f22fe58443..d598d513b1 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -424,7 +424,7 @@ int main()
{
FILE *f;
long limit;
-#if !defined(RLIMIT_NOLIMIT) && defined(RLIMIT_OFILE)
+#if !defined(RLIMIT_NOFILE) && defined(RLIMIT_OFILE)
#define RLIMIT_NOFILE RLIMIT_OFILE
#endif
#if defined(HAVE_GETRLIMIT) && defined(RLIMIT_NOFILE)
diff --git a/src/debug.c b/src/debug.c
index cc351a6220..d9a934d842 100644
--- a/src/debug.c
+++ b/src/debug.c
@@ -1,5 +1,6 @@
#include "global.h"
#include "types.h"
+#include "memory.h"
#define MARKER_CHUNK_SIZE 4096
#define REHASH_LIMIT 16
@@ -47,7 +48,7 @@ INT32 checked(void *a,INT32 delta)
if(!hash) return 0;
- hashval=((int)a)%hashsize;
+ hashval=((long)a)%hashsize;
for(m=hash[hashval];m;m=m->next)
{
@@ -81,7 +82,7 @@ INT32 checked(void *a,INT32 delta)
for(m=hash[e];m;m=next)
{
next=m->next;
- m->next=new_hash[((int)m->marked)%new_hashsize];
+ m->next=new_hash[((long)m->marked)%new_hashsize];
new_hash[((int)m->marked)%new_hashsize]=m;
}
}
diff --git a/src/debug.h b/src/debug.h
index 5eca47bbba..fab056907e 100644
--- a/src/debug.h
+++ b/src/debug.h
@@ -1,6 +1,6 @@
#ifndef DEBUG_H
#define DEBUG_H
-
+#include "debug.h"
/* Prototypes begin here */
struct marker;
struct marker_chunk;
diff --git a/src/docode.c b/src/docode.c
index de5fa25d67..fd555482ca 100644
--- a/src/docode.c
+++ b/src/docode.c
@@ -951,7 +951,8 @@ static int do_docode2(node *n,int flags)
ins_f_byte(F_SWITCH);
tmp1=PC;
ins_short(0, A_PROGRAM);
- while(PC != (unsigned int)MY_ALIGN(PC)) ins_byte(0, A_PROGRAM);
+ while(PC != (unsigned INT32)MY_ALIGN(PC))
+ ins_byte(0, A_PROGRAM);
tmp2=PC;
current_switch_values_on_stack=0;
current_switch_case=0;
diff --git a/src/dynamic_buffer.c b/src/dynamic_buffer.c
index 211fc56b3e..232d2ac1c8 100644
--- a/src/dynamic_buffer.c
+++ b/src/dynamic_buffer.c
@@ -2,6 +2,7 @@
#include "dynamic_buffer.h"
#include "stralloc.h"
#include "error.h"
+#include "memory.h"
static dynamic_buffer buff;
diff --git a/src/interpret.c b/src/interpret.c
index f75086962b..57248f9b6a 100644
--- a/src/interpret.c
+++ b/src/interpret.c
@@ -18,6 +18,7 @@
#include "lex.h"
#include "builtin_efuns.h"
+#define TRACE_LEN 256
struct svalue evaluator_stack[EVALUATOR_STACK_SIZE];
struct svalue *mark_stack[EVALUATOR_STACK_SIZE];
struct frame *fp; /* frame pointer */
@@ -166,8 +167,7 @@ static char trace_buffer[100];
instr=prefix,\
prefix=0,\
instr+=EXTRACT_UCHAR(pc++),\
- (t_flag>3 ? sprintf(trace_buffer,"- Arg = %ld\n",(long)instr),\
- write_to_stderr(trace_buffer,strlen(trace_buffer)) : 0),\
+ (t_flag>3 ? sprintf(trace_buffer,"- Arg = %ld\n",(long)instr),write_to_stderr(trace_buffer,strlen(trace_buffer)) : 0),\
instr))
#else
@@ -597,7 +597,7 @@ static void eval_instruction(unsigned char *pc)
CASE(F_BRANCH_WHEN_NON_ZERO);
check_destructed(sp-1);
if(IS_ZERO(sp-1))
- {
+ {
pc+=sizeof(INT32);
}else{
check_signals();
@@ -830,7 +830,6 @@ int apply_low_safe_and_stupid(struct object *o, INT32 offset)
}
UNSETJMP(tmp);
-
free_object(new_frame.current_object);
free_program(new_frame.context.prog);
@@ -916,6 +915,13 @@ void apply_low(struct object *o, int fun, int args)
}
my_strcat(")");
s=simple_free_buf();
+ if(strlen(s) > TRACE_LEN)
+ {
+ s[TRACE_LEN]=0;
+ s[TRACE_LEN-1]='.';
+ s[TRACE_LEN-2]='.';
+ s[TRACE_LEN-2]='.';
+ }
fprintf(stderr,"- %s:%4ld: %s\n",file,(long)linep,s);
free(s);
@@ -1006,6 +1012,13 @@ void apply_low(struct object *o, int fun, int args)
my_strcat("Return: ");
describe_svalue(sp-1,0,0);
s=simple_free_buf();
+ if(strlen(s) > TRACE_LEN)
+ {
+ s[TRACE_LEN]=0;
+ s[TRACE_LEN-1]='.';
+ s[TRACE_LEN-2]='.';
+ s[TRACE_LEN-2]='.';
+ }
fprintf(stderr,"%-*s%s\n",4,"-",s);
free(s);
@@ -1112,6 +1125,13 @@ void strict_apply_svalue(struct svalue *s, INT32 args)
}
my_strcat(")");
st=simple_free_buf();
+ if(strlen(st) > TRACE_LEN)
+ {
+ st[TRACE_LEN]=0;
+ st[TRACE_LEN-1]='.';
+ st[TRACE_LEN-2]='.';
+ st[TRACE_LEN-2]='.';
+ }
fprintf(stderr,"- %s:%4ld: %s\n",file,(long)linep,st);
free(st);
@@ -1149,6 +1169,13 @@ void strict_apply_svalue(struct svalue *s, INT32 args)
my_strcat("Return: ");
describe_svalue(sp-1,0,0);
s=simple_free_buf();
+ if(strlen(s) > TRACE_LEN)
+ {
+ s[TRACE_LEN]=0;
+ s[TRACE_LEN-1]='.';
+ s[TRACE_LEN-2]='.';
+ s[TRACE_LEN-2]='.';
+ }
fprintf(stderr,"%-*s%s\n",4,"-",s);
free(s);
diff --git a/src/las.c b/src/las.c
index 73c456b584..e418c9e427 100644
--- a/src/las.c
+++ b/src/las.c
@@ -15,6 +15,7 @@
#include "error.h"
#include "docode.h"
#include "main.h"
+#include "memory.h"
#define LASDEBUG
diff --git a/src/lpc_types.c b/src/lpc_types.c
index 888d0df1f2..e056ee702d 100644
--- a/src/lpc_types.c
+++ b/src/lpc_types.c
@@ -551,9 +551,11 @@ int match_types(struct lpc_string *a,struct lpc_string *b)
return 0!=low_match_types(a->str, b->str);
}
-static unsigned char type_stack[1000];
+
+#define STACK_SIZE 10000
+static unsigned char type_stack[STACK_SIZE];
static unsigned char *type_stackp=type_stack;
-static unsigned char *mark_stack[200];
+static unsigned char *mark_stack[STACK_SIZE/4];
static unsigned char **mark_stackp=mark_stack;
void reset_type_stack()
diff --git a/src/macros.h b/src/macros.h
index 5588351d1e..574b290b85 100644
--- a/src/macros.h
+++ b/src/macros.h
@@ -2,6 +2,7 @@
#define MACROS_H
#include <sys/param.h>
+#include "memory.h"
#define BASEOF(ptr, str_type, field) \
((struct str_type *)((char*)ptr - (char*)& (((struct str_type *)0)->field)))
diff --git a/src/main.c b/src/main.c
index e08952ceb0..6bcac8339c 100644
--- a/src/main.c
+++ b/src/main.c
@@ -23,13 +23,8 @@
#endif
#ifdef HAVE_SYS_RESOURCE_H
#include <sys/resource.h>
-#if defined (RLIMIT_OFILE) && !defined (RLIMIT_NOFILE)
-# define RLIMIT_NOFILE RLIMIT_OFILE
-#endif /* HAVE_RESOURCE && RLIMIT_OFILE && !RLIMIT_NOFILE */
#endif
-/* Some systems use RLIMIT_NOFILE, others use RLIMIT_OFILE */
-
char *master_file;
int d_flag=0;
@@ -131,10 +126,11 @@ void main(int argc, char **argv, char **env)
}
}
-#if defined(HAVE_SETRLIMIT) && defined(RLIMIT_NOFILE)
-#ifndef RLIM_INFINITY
-#define RLIM_INFINITY 0x7fffffff
+#if !defined(RLIMIT_NOFILE) && defined(RLIMIT_OFILE)
+#define RLIMIT_NOFILE RLIMIT_OFILE
#endif
+
+#if defined(HAVE_SETRLIMIT) && defined(RLIMIT_NOFILE)
{
struct rlimit lim;
long tmp;
@@ -146,10 +142,6 @@ void main(int argc, char **argv, char **env)
setrlimit(RLIMIT_NOFILE, &lim);
}
}
-#else
-#if defined (HAVE_SETDTABLESIZE)
- setdtablesize (MAX_OPEN_FILEDESCRIPTORS);
-#endif
#endif
current_time = get_current_time();
diff --git a/src/mapping.c b/src/mapping.c
index 221c67e043..b31b396660 100644
--- a/src/mapping.c
+++ b/src/mapping.c
@@ -278,7 +278,7 @@ void describe_mapping(struct mapping *m,struct processing *p,int indent)
}
}
- sprintf(buf,"([ /* %ld elements */\n", (long) m->ind->size);
+ sprintf(buf,"([ /* %ld elements */\n",(long) m->ind->size);
my_strcat(buf);
for(e=0;e<m->ind->size;e++)
{
diff --git a/src/modules/regexp/regexp.c b/src/modules/regexp/regexp.c
index a77c770296..939c63a7bd 100644
--- a/src/modules/regexp/regexp.c
+++ b/src/modules/regexp/regexp.c
@@ -1171,7 +1171,7 @@ regexp *r;
s = r->program + 1;
while (op != END) { /* While that wasn't END last time... */
op = OP(s);
- printf("%2d%s", (long)(s - r->program), regprop(s)); /* Where, what. */
+ printf("%2ld%s", (long)(s - r->program), regprop(s)); /* Where, what. */
nxt = regnext(s);
if (nxt == (char *)NULL) /* nxt ptr. */
printf("(0)");
diff --git a/src/object.c b/src/object.c
index ff362ab1c5..8283f7db77 100644
--- a/src/object.c
+++ b/src/object.c
@@ -1,4 +1,5 @@
#include <stdlib.h>
+#include "global.h"
#include "object.h"
#include "dynamic_buffer.h"
#include "interpret.h"
@@ -77,7 +78,7 @@ struct object *clone(struct program *p, int args)
union anything *u;
u=(union anything *)(frame.current_storage +
frame.context.prog->identifiers[d].func.offset);
- u->integer=0;
+ MEMSET((char *)u,0,sizeof(*u));
}
}
@@ -236,7 +237,10 @@ void object_index_no_free(struct svalue *to,
int f;
if(!o || !(p=o->prog))
+ {
error("Lookup in destructed object.\n");
+ return; /* make gcc happy */
+ }
if(index->type != T_STRING)
error("Lookup on non-string value.\n");
@@ -287,7 +291,10 @@ void object_index(struct svalue *to,
int f;
if(!o || !(p=o->prog))
+ {
error("Lookup in destructed object.\n");
+ return; /* make gcc happy */
+ }
if(index->type != T_STRING)
error("Lookup on non-string value.\n");
@@ -342,7 +349,10 @@ void object_low_set_index(struct object *o,
struct program *p;
if(!o || !(p=o->prog))
+ {
error("Lookup in destructed object.\n");
+ return; /* make gcc happy */
+ }
check_destructed(from);
@@ -379,7 +389,10 @@ void object_set_index(struct object *o,
int f;
if(!o || !(p=o->prog))
+ {
error("Lookup in destructed object.\n");
+ return; /* make gcc happy */
+ }
if(index->type != T_STRING)
error("Lookup on non-string value.\n");
@@ -402,7 +415,10 @@ union anything *object_low_get_item_ptr(struct object *o,
struct program *p;
if(!o || !(p=o->prog))
+ {
error("Lookup in destructed object.\n");
+ return 0; /* make gcc happy */
+ }
i=ID_FROM_INT(p, f);
@@ -437,7 +453,10 @@ union anything *object_get_item_ptr(struct object *o,
int f;
if(!o || !(p=o->prog))
+ {
error("Lookup in destructed object.\n");
+ return 0; /* make gcc happy */
+ }
if(index->type != T_STRING)
error("Lookup on non-string value.\n");
diff --git a/src/opcodes.c b/src/opcodes.c
index 108ff9c99f..df459febd3 100644
--- a/src/opcodes.c
+++ b/src/opcodes.c
@@ -253,11 +253,11 @@ static int read_set(char *match,int cnt,char *set,int match_len)
static INT32 low_sscanf(INT32 num_arg)
{
char *input;
- INT32 input_len;
+ int input_len;
char *match;
- INT32 match_len;
+ int match_len;
struct svalue sval;
- INT32 e,cnt,matches,eye,arg;
+ int e,cnt,matches,eye,arg;
int no_assign;
char set[256];
struct svalue *argp;
@@ -432,7 +432,7 @@ static INT32 low_sscanf(INT32 num_arg)
s=MEMMEM(end_str_start,
end_str_end-end_str_start,
input+eye,
- (SIZE_T)(input_len-eye));
+ input_len-eye);
if(!s) return matches;
eye=s-input;
new_eye=eye+end_str_end-end_str_start;
diff --git a/src/port.c b/src/port.c
index 333bc10efa..d1cc4c628b 100644
--- a/src/port.c
+++ b/src/port.c
@@ -119,6 +119,605 @@ char *MEMMOVE(char *b,const char *a,int s)
#endif
+#ifndef HAVE_MEMCMP
+int MEMCMP(const char *b,const char *a,int s)
+{
+ for(;s;s--,b++,a++)
+ {
+ if(*b!=*a)
+ {
+ if(*b<*a) return -1;
+ if(*b>*a) return 1;
+ }
+ }
+ return 0;
+}
+
+#endif
+
+#ifndef HAVE_MEMCHR
+char *MEMCHR(char *p,char c,int e)
+{
+ e++;
+ while(--e >= 0) if(*(p++)==c) return p-1;
+ return (char *)0;
+}
+#endif
+
+#ifndef HAVE_MEMMEM
+
+/*
+ * a quick memmem
+ * Written by Fredrik Hubinette (hubbe@lysator.liu.se)
+ */
+
+#define LINKS 1024
+
+typedef struct link2_s
+{
+ struct link2_s *next;
+ INT32 key, offset;
+} link2;
+
+char *MEMMEM(char *needle, SIZE_T needlelen, char *haystack, SIZE_T haystacklen)
+{
+ if(needlelen > haystacklen) return 0;
+
+ switch(needlelen)
+ {
+ case 0: return haystack;
+ case 1: return MEMCHR(haystack,needle[0],haystacklen);
+
+ default:
+ {
+ if(haystacklen > needlelen + 64)
+ {
+ static link2 links[LINKS], *set[LINKS];
+
+ INT32 tmp, h;
+ unsigned INT32 hsize, e, max;
+ char *q, *end;
+ link2 *ptr;
+
+ hsize=52+(haystacklen >> 7) - (needlelen >> 8);
+ max =13+(haystacklen >> 4) - (needlelen >> 5);
+
+ if(hsize > NELEM(set))
+ {
+ hsize=NELEM(set);
+ }else{
+ for(e=8;e<hsize;e+=e);
+ hsize=e;
+ }
+
+ for(e=0;e<hsize;e++) set[e]=0;
+ hsize--;
+
+ if(max > needlelen) max=needlelen;
+ max=(max-sizeof(INT32)+1) & -sizeof(INT32);
+ if(max > LINKS) max=LINKS;
+
+ ptr=&links[0];
+
+ q=needle;
+
+#if BYTEORDER == 4321
+ for(tmp=e=0;e<sizeof(INT32)-1;e++)
+ {
+ tmp<<=8;
+ tmp|=*(q++);
+ }
+#endif
+
+ for(e=0;e<max;e++)
+ {
+#if BYTEORDER == 4321
+ tmp<<=8;
+ tmp|=*(q++);
+#else
+ tmp=EXTRACT_INT((unsigned char *)q);
+ q++;
+#endif
+ h=tmp;
+ h+=h>>7;
+ h+=h>>17;
+ h&=hsize;
+
+ ptr->offset=e;
+ ptr->key=tmp;
+ ptr->next=set[h];
+ set[h]=ptr;
+ ptr++;
+ }
+
+ end=haystack+haystacklen+1;
+
+ q=haystack+max-sizeof(INT32);
+ q=(char *)( ((long)q) & -sizeof(INT32));
+ for(;q<end-sizeof(INT32)+1;q+=max)
+ {
+ h=tmp=*(INT32 *)q;
+
+ h+=h>>7;
+ h+=h>>17;
+ h&=hsize;
+
+ for(ptr=set[h];ptr;ptr=ptr->next)
+ {
+ char *where;
+
+ if(ptr->key != tmp) continue;
+
+ where=q-ptr->offset;
+ if(where<haystack) continue;
+ if(where+needlelen>end) return 0;
+
+ if(!MEMCMP(where,needle,needlelen))
+ return where;
+ }
+ }
+ return 0;
+ }
+ }
+
+ case 2:
+ case 3:
+ case 4:
+ case 5:
+ case 6:
+ {
+ char *end,c;
+
+ end=haystack+haystacklen-needlelen+1;
+ c=needle[0];
+ needle++;
+ needlelen--;
+ while((haystack=MEMCHR(haystack,c,end-haystack)))
+ if(!MEMCMP(++haystack,needle,needlelen))
+ return haystack-1;
+
+ return 0;
+ }
+
+ }
+}
+
+#endif
+
+#if !defined(HAVE_INDEX) && !defined(HAVE_STRCHR)
+char *STRCHR(char *s,char c)
+{
+ for(;*s;s++) if(*s==c) return s;
+ return NULL;
+}
+#endif
+
+#if !defined(HAVE_RINDEX) && !defined(HAVE_STRRCHR)
+char *STRRCHR(char *s,int c)
+{
+ char *p;
+ for(p=NULL;*s;s++) if(*s==c) p=s;
+ return p;
+}
+#endif
+
+#ifndef HAVE_STRSTR
+char *STRSTR(char *s1,const char *s2)
+{
+ for(;*s1;s1++)
+ {
+ const char *p1,*p2;
+ for(p1=s1,p2=s2;*p1==*p2;p1++,p2++) if(!*p2) return s1;
+ }
+ return NULL;
+}
+#endif
+
+#ifndef HAVE_STRTOK
+static char *temporary_for_strtok;
+char *STRTOK(char *s1,char *s2)
+{
+ if(s1!=NULL) temporary_for_strtok=s1;
+ for(s1=temporary_for_strtok;*s1;s1++)
+ {
+ char *p1,*p2;
+ for(p1=s1,p2=s2;*p1==*p2;p1++,p2++)
+ {
+ if(!*(p2+1))
+ {
+ char *retval;
+ *s1=0;
+ retval=temporary_for_strtok;
+ temporary_for_strtok=p1+1;
+ return(retval);
+ }
+ }
+ }
+ return NULL;
+}
+#endif
+
+#ifndef HAVE_STRTOD
+/* Convert NPTR to a double. If ENDPTR is not NULL, a pointer to the
+ character after the last one used in the number is put in *ENDPTR. */
+double STRTOD(char * nptr, char **endptr)
+{
+ register char *s;
+ short int sign;
+
+ /* The number so far. */
+ double num;
+
+ int got_dot; /* Found a decimal point. */
+ int got_digit; /* Seen any digits. */
+
+ /* The exponent of the number. */
+ long int exponent;
+
+ if (nptr == NULL)
+ {
+ errno = EINVAL;
+ goto noconv;
+ }
+
+ s = nptr;
+
+ /* Eat whitespace. */
+ while (isspace(*s)) ++s;
+
+ /* Get the sign. */
+ sign = *s == '-' ? -1 : 1;
+ if (*s == '-' || *s == '+')
+ ++s;
+
+ /* Get the sign. */
+ sign = *s == '-' ? -1 : 1;
+ if (*s == '-' || *s == '+')
+ ++s;
+
+ num = 0.0;
+ got_dot = 0;
+ got_digit = 0;
+ exponent = 0;
+ for (;; ++s)
+ {
+ if (isdigit (*s))
+ {
+ got_digit = 1;
+
+ /* Make sure that multiplication by 10 will not overflow. */
+ if (num > DBL_MAX * 0.1)
+ /* The value of the digit doesn't matter, since we have already
+ gotten as many digits as can be represented in a `double'.
+ This doesn't necessarily mean the result will overflow.
+ The exponent may reduce it to within range.
+
+ We just need to record that there was another
+ digit so that we can multiply by 10 later. */
+ ++exponent;
+ else
+ num = (num * 10.0) + (*s - '0');
+
+ /* Keep track of the number of digits after the decimal point.
+ If we just divided by 10 here, we would lose precision. */
+ if (got_dot)
+ --exponent;
+ }
+ else if (!got_dot && (char) *s == '.')
+ /* Record that we have found the decimal point. */
+ got_dot = 1;
+ else
+ /* Any other character terminates the number. */
+ break;
+ }
+
+ if (!got_digit)
+ goto noconv;
+
+ if (tolower(*s) == 'e')
+ {
+ /* Get the exponent specified after the `e' or `E'. */
+ int save = errno;
+ char *end;
+ long int exp;
+
+ errno = 0;
+ ++s;
+ exp = STRTOL(s, &end, 10);
+ if (errno == ERANGE)
+ {
+ /* The exponent overflowed a `long int'. It is probably a safe
+ assumption that an exponent that cannot be represented by
+ a `long int' exceeds the limits of a `double'. */
+ if (endptr != NULL)
+ *endptr = end;
+ if (exp < 0)
+ goto underflow;
+ else
+ goto overflow;
+ }
+ else if (end == s)
+ /* There was no exponent. Reset END to point to
+ the 'e' or 'E', so *ENDPTR will be set there. */
+ end = (char *) s - 1;
+ errno = save;
+ s = end;
+ exponent += exp;
+ }
+
+ if (endptr != NULL)
+ *endptr = (char *) s;
+
+ if (num == 0.0)
+ return 0.0;
+
+ /* Multiply NUM by 10 to the EXPONENT power,
+ checking for overflow and underflow. */
+
+ if (exponent < 0)
+ {
+ if (num < DBL_MIN * pow(10.0, (double) -exponent))
+ goto underflow;
+ }
+ else if (exponent > 0)
+ {
+ if (num > DBL_MAX * pow(10.0, (double) -exponent))
+ goto overflow;
+ }
+
+ num *= pow(10.0, (double) exponent);
+
+ return num * sign;
+
+ overflow:
+ /* Return an overflow error. */
+ errno = ERANGE;
+ return HUGE * sign;
+
+ underflow:
+ /* Return an underflow error. */
+ if (endptr != NULL)
+ *endptr = (char *) nptr;
+ errno = ERANGE;
+ return 0.0;
+
+ noconv:
+ /* There was no number. */
+ if (endptr != NULL)
+ *endptr = (char *) nptr;
+ return 0.0;
+}
+#endif
+
+#ifndef HAVE_VSPRINTF
+int VSPRINTF(char *buf,char *fmt,va_list args)
+{
+ char *b=buf;
+ char *s;
+
+ int tmpA;
+ char fmt2[120];
+ char *fmt2p;
+
+ fmt2[0]='%';
+ for(;(s=STRCHR(fmt,'%'));fmt=s)
+ {
+ MEMCPY(buf,fmt,s-fmt);
+ buf+=s-fmt;
+ fmt=s;
+ fmt2p=fmt2+1;
+ s++;
+ unknown_character:
+ switch((*(fmt2p++)=*(s++)))
+ {
+ default:
+ goto unknown_character;
+
+ case '*':
+ fmt2p--;
+ sprintf(fmt2p,"%d",va_arg(args,int));
+ fmt2p+=strlen(fmt2p);
+ goto unknown_character;
+
+ case 0:
+ fatal("Error in vsprintf format.\n");
+ return 0;
+
+ case '%':
+ *(buf++)='%';
+ break;
+
+ case 'p':
+ case 's':
+ *fmt2p=0;
+ sprintf(buf,fmt2,va_arg(args,char *));
+ buf+=strlen(buf);
+ break;
+
+ case 'd':
+ case 'c':
+ case 'x':
+ case 'X':
+ *fmt2p=0;
+ sprintf(buf,fmt2,va_arg(args,int));
+ buf+=strlen(buf);
+ break;
+
+ case 'f':
+ case 'e':
+ case 'E':
+ case 'g':
+ *fmt2p=0;
+ sprintf(buf,fmt2,va_arg(args,FLOAT_TYPE));
+ buf+=strlen(buf);
+ break;
+ }
+ }
+ tmpA=strlen(fmt);
+ MEMCPY(buf,fmt,tmpA);
+ buf+=tmpA;
+ *buf=0;
+ return buf-b;
+}
+#endif
+
+#ifndef HAVE_VFPRINTF
+int VFPRINTF(FILE *f,char *s,va_list args)
+{
+ int i;
+ char buffer[10000];
+ VSPRINTF(buffer,s,args);
+ i=strlen(buffer);
+ if(i+1>sizeof(buffer))
+ fatal("Buffer overflow.\n");
+ return fwrite(buffer,i,1,f);
+}
+#endif
+
+#if defined(DEBUG) && !defined(HANDLES_UNALIGNED_MEMORY_ACCESS)
+unsigned INT16 EXTRACT_UWORD(unsigned char *p)
+{
+ unsigned INT16 a;
+ MEMCPY((char *)&a,p,sizeof(a));
+ return a;
+}
+
+INT16 EXTRACT_WORD(unsigned char *p)
+{
+ INT16 a;
+ MEMCPY((char *)&a,p,sizeof(a));
+ return a;
+}
+
+INT32 EXTRACT_INT(unsigned char *p)
+{
+ INT32 a;
+ MEMCPY((char *)&a,p,sizeof(a));
+ return a;
+}
+#endif
+#if 0
+#include "global.h"
+#include "macros.h"
+#include <ctype.h>
+#include <math.h>
+#include <sys/types.h>
+#include <errno.h>
+#include <float.h>
+#include <string.h>
+
+#ifdef sun
+time_t time PROT((time_t *));
+#endif
+
+/*
+ * This file defines things that may have to be changem when porting
+ * LPmud to new environments. Hopefully, there are #ifdef's that will take
+ * care of everything.
+ */
+
+static unsigned long RandSeed1 = 0x5c2582a4;
+static unsigned long RandSeed2 = 0x64dff8ca;
+
+unsigned long my_rand(void)
+{
+ RandSeed1 = ((RandSeed1 * 13 + 1) ^ (RandSeed1 >> 9)) + RandSeed2;
+ RandSeed2 = (RandSeed2 * RandSeed1 + 13) ^ (RandSeed2 >> 13);
+ return RandSeed1;
+}
+
+void my_srand(int seed)
+{
+ RandSeed1 = (seed - 1) ^ 0xA5B96384;
+ RandSeed2 = (seed + 1) ^ 0x56F04021;
+ my_rand();
+ my_rand();
+ my_rand();
+}
+
+long get_current_time(void) { return (long)time(0L); }
+
+
+
+#ifndef HAVE_STRTOL
+#define DIGIT(x) (isdigit(x) ? (x) - '0' : \
+ islower(x) ? (x) + 10 - 'a' : (x) + 10 - 'A')
+#define MBASE ('z' - 'a' + 1 + 10)
+
+long STRTOL(char *str,char **ptr,int base)
+{
+ register long val;
+ register int c;
+ int xx, neg = 0;
+
+ if (ptr != (char **)0)
+ *ptr = str; /* in case no number is formed */
+ if (base < 0 || base > MBASE)
+ return (0); /* base is invalid -- should be a fatal error */
+ if (!isalnum(c = *str)) {
+ while (isspace(c))
+ c = *++str;
+ switch (c) {
+ case '-':
+ neg++;
+ case '+': /* fall-through */
+ c = *++str;
+ }
+ }
+ if (base == 0)
+ if (c != '0')
+ base = 10;
+ else if (str[1] == 'x' || str[1] == 'X')
+ base = 16;
+ else
+ base = 8;
+ /*
+ * for any base > 10, the digits incrementally following
+ * 9 are assumed to be "abc...z" or "ABC...Z"
+ */
+ if (!isalnum(c) || (xx = DIGIT(c)) >= base)
+ return (0); /* no number formed */
+ if (base == 16 && c == '0' && isxdigit(str[2]) &&
+ (str[1] == 'x' || str[1] == 'X'))
+ c = *(str += 2); /* skip over leading "0x" or "0X" */
+ for (val = -DIGIT(c); isalnum(c = *++str) && (xx = DIGIT(c)) < base; )
+ /* accumulate neg avoids surprises near MAXLONG */
+ val = base * val - xx;
+ if (ptr != (char **)0)
+ *ptr = str;
+ return (neg ? val : -val);
+}
+#endif
+
+#ifndef HAVE_MEMSET
+char *MEMSET(char *s,int c,int n)
+{
+ char *t;
+ for(t=s;n;n--) *(s++)=c;
+ return s;
+}
+#endif
+
+#if !defined(HAVE_MEMCPY) && !defined(HAVE_BCOPY)
+char *MEMCPY(char *b,const char *a,int s)
+{
+ char *t;
+ for(t=b;s;s--) *(t++)=*(a++);
+ return b;
+}
+#endif
+
+#ifndef HAVE_MEMMOVE
+char *MEMMOVE(char *b,const char *a,int s)
+{
+ char *t;
+ if(a>b) for(t=b;s;s--) *(t++)=*(a++);
+ if(a<b) for(t=b+s,a+=s;s;s--) *(--t)=*(--a);
+ return b;
+}
+#endif
+
+
#ifndef HAVE_MEMCMP
int MEMCMP(const char *b,const char *a,int s)
{
@@ -622,3 +1221,4 @@ INT32 EXTRACT_INT(unsigned char *p)
return a;
}
#endif
+#endif
diff --git a/src/types.h b/src/types.h
index 7933f77663..f3627f3509 100644
--- a/src/types.h
+++ b/src/types.h
@@ -26,5 +26,4 @@
#define FLOAT_TYPE float
-#include "memory.h"
#endif
--
GitLab