1 files changed, 19 insertions, 0 deletions
diff --git a/test/mpfrcase2.awk b/test/mpfrcase2.awk
new file mode 100644
index 00000000..52924486
--- /dev/null
+++ b/test/mpfrcase2.awk
@@ -0,0 +1,19 @@
+{
+    for (i = 1; i <= NF; i++) {
+        switch ($i) {
+            case "+" : case "-" :
+            case "*" : case "/" :
+            case "%" : case "^" :
+                printf $i; break
+            case /[a-z]/ :
+                printf $i; break
+            case /[0-9]/ : 
+                printf $i; break
+            case /[ \t]/ :
+                printf $i; break
+            default :
+                print " wrong character " i " th: "  $i
+        }
+    }
+    print ""
+}