------- code table 1
L0	PUSHM3NIL 1
L2	PUSHM3NIL 1
L4	PUSHG 0
L9	SOLVE 1, 1, 2: 
	  IS-TEXT(a)
	  a=b+b
L26	TJUMP L42
L29	PUSHG 1
L34	CALLEXT 0
L39	DECSP 1
L41	RET 
L42	POPL 1
L45	INCSP 1
L47	PUSHL 1
L50	CALLEXT 2
L55	DECSP 1
L57	CALLEXT 0
L62	PUSHG 2
L67	CALLEXT 0
L72	RET 

V0	1
V1	"No solution found to x :: IS-TEXT(x) AND x = 1.0 + 1.0\n"
V2	"\n"

Running program...
No solution found to x :: IS-TEXT(x) AND x = 1.0 + 1.0
Execution completed successfully