diff --git a/arith.modal b/arith.modal
index 597e91e..892f174 100644
--- a/arith.modal
+++ b/arith.modal
@@ -376,7 +376,7 @@
 <> (force (x ?t)) ((x force ?t))
 
 -- ( emit )
-<> (emit force/r ?*) (?*)
+<> (emit force/r ?^) (?^)
 
 -- ( to binary string )
 <> ((bstr (N ?x))) ((bstr1 force ?x ()))
@@ -414,4 +414,4 @@
 <> ((hdigit 0 1 1 1)) (e)
 <> ((hdigit 1 1 1 1)) (f)
 
-(ostr (pow (nat 19) (nat 19)))
+(str (nat 999))