new file mode 100644
--- /dev/null
+++ b/test/gesc.ijs
@@ -0,0 +1,115 @@
+NB. e. special code -----------------------------------------------------
+
+E=: 1 : 0
+:
+ xx=: x {~ 500 ?@$ #x  
+ yy=: y {~1000 ?@$ #y
+ '`f g h'=: >1{>5!:1 <'u'
+ if. '[:' -: 5!:5 <'f' do.
+  assert. (xx u yy   ) -: g xx h yy
+  assert. (u f.&yy xx) -: g xx h yy
+ else.
+  assert. (xx u yy   ) -: (xx f yy) g (xx h yy)
+  assert. (u f.&yy xx) -: (xx f yy) g (xx h yy)
+ end.
+ 1
+)
+
+A0=: 1 : 0
+ x E ~ a=. 0 1
+ x E ~ a=. #:i.2^1
+ x E ~ a=. #:i.2^2
+ x E ~ a=. #:i.2^3
+ x E ~ a=. #:i.2^4
+ x E ~ a=. #:i.2^5
+ x E ~ a=. #:i.2^6
+ x E ~ a=. #:i.2^7
+ x E ~ a=. #:i.2^8
+ x E ~ a=. #:i.2^9
+ x E ~ a=. a.
+ x E ~ a=. a.{~ 600 1 ?@$ 256
+ x E ~ a=. a.{~ 600 2 ?@$ 256
+ x E ~ a=. a.{~ 600 3 ?@$ 256
+ x E ~ a=. a.{~ 600 4 ?@$ 256
+ x E ~ a=. a.{~ 600 5 ?@$ 256
+ x E ~ a=. a.{~ 600 6 ?@$ 256
+ x E ~ a=. a.{~ 600 7 ?@$ 256
+ x E ~ a=. a.{~ 600 8 ?@$ 256
+ x E ~ a=. a.{~ 600 9 ?@$ 256
+ x E ~ a=. 600   ?@$ 2e9
+ x E ~ a=. 600 2 ?@$ 2e9
+ x E ~ a=. 600   ?@$ 600
+ x E ~ a=. 600 2 ?@$ 600
+ x E ~ a=. _300+600 ?@$ 600
+ x E ~ a=. _5e7+600 ?@$ 1e8
+ x E ~ a=. 600   ?@$ 0
+ x E ~ a=. 600 2 ?@$ 0
+ x E ~ a=. j./ 2 600   ?@$ 0
+ x E ~ a=. j./ 2 600 2 ?@$ 0
+ x E ~ a=. u: 600   ?@$ 65536
+ x E ~ a=. u: 600 2 ?@$ 65536
+ x E ~ a=. (1;2 3;4 5;;:'foo upon thee'),":&.> 600 ?@$ 1000
+ x E ~ a=. a{~600 2 ?@$ #a=.(1;2 3;4 5;;:'foo upon thee'),":&.> 20 ?@$ 1000
+ x E ~ a=. s: ' cogito ergo sum kakistocracy foo upon thee ',": 600 ?@$ 1000
+ x E ~ a=. a{~600 2 ?@$ #a=. s: ' cogito ergo sum ',": 600 ?@$ 1000
+ x E ~ a=. x: 600   ?@$ IF64{2e9 9e18
+ x E ~ a=. x: 600 2 ?@$ 1000
+ x E ~ a=. %/x: 0 1+2 600   ?@$ IF64{2e9 9e18
+ x E ~ a=. %/x: 0 1+2 600 2 ?@$ 1000
+ x E ~ a=. 4 0$0
+ x E ~ a=. 4 0$'a'
+ x E ~ a=. 4 0$100
+ x E ~ a=. 4 0$0.5
+ x E ~ a=. 4 0$3j4
+ x E ~ a=. 4 0$a:
+ x E ~ a=. 4 0$u: 123
+ x E ~ a=. 4 0$s: ' cogito'
+ x E ~ a=. 4 0$3x
+ x E ~ a=. 4 0$3r4
+)
+
+(e. i.  0:) A0
+(e. i.  1:) A0
+(e. i:  0:) A0
+(e. i:  1:) A0
+([: + / e.) A0
+([: +./ e.) A0
+([: *./ e.) A0
+([: I.  e.) A0
+
+A1=: 4 : 0
+ x (e.i.0:)  E y
+ x (e.i.1:)  E y
+ x (e.i:0:)  E y
+ x (e.i:1:)  E y
+ x ([:+ /e.) E y
+ x ([:+./e.) E y
+ x ([:*./e.) E y
+ x ([:I. e.) E y
+)
+
+A1~ 3 4 0 5$0
+A1~ 3 4 0 5$a.
+A1~ 3 4 0 5$-~2
+A1~ 3 4 0 5$-~3.4
+A1~ 3 4 0 5$-~3j4
+
+(600 ?@$ 1000) A1   600 ?@$ 1e4
+(600 ?@$ 1000) A1 ~ 600 ?@$ 1e4
+(600 ?@$ 1000) A1   600 ?@$ 2e9
+(600 ?@$ 1000) A1 ~ 600 ?@$ 2e9
+(600 ?@$ 1000) A1   (o.0)+600 ?@$ 1000
+(600 ?@$ 1000) A1 ~ (o.0)+600 ?@$ 1000
+
+(a.{~600 1 ?@$  256) A1   600 1 ?@$ 2
+(a.{~600 1 ?@$  256) A1 ~ 600 1 ?@$ 2
+(a.{~600 2 ?@$  256) A1   600 2 ?@$ 2
+(a.{~600 2 ?@$  256) A1 ~ 600 2 ?@$ 2
+(a.{~600 4 ?@$  256) A1   600 4 ?@$ 2
+(a.{~600 4 ?@$  256) A1 ~ 600 4 ?@$ 2
+
+
+4!:55 ;:'A0 A1 E f g h xx yy'
+
+
+