--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/interp	Sun Dec 09 19:30:08 2012 +0000
@@ -0,0 +1,44 @@
+#!/bin/sh
+
+export I_CMD="$0"
+export I_ARG="$1"
+export ARG_FILE="/tmp/input.$$"
+
+get_arg() {
+    #if expr "$I_ARG" : "http://" > /dev/null
+    #then
+    #    wget $WGET_OPTIONS "$I_ARG" -O "$ARG_FILE"
+    #else
+        printf '%s' "$I_ARG" > "$ARG_FILE"
+    #fi
+}
+
+clean_arg() {
+    rm -f "$ARG_FILE"
+}
+
+interp_stdin() {
+    get_arg
+    $1 < "$ARG_FILE" 2>&1
+    clean_arg
+}
+
+interp_file() {
+    get_arg
+    $1 "$ARG_FILE" 2>&1
+    clean_arg
+}
+
+interp_stdin_java() {
+    get_arg
+    cd $1
+    java $2 < "$ARG_FILE" 2>&1
+    clean_arg
+}
+
+interp_file_java() {
+    get_arg
+    cd $1
+    java $2 "$ARG_FILE" 2>&1
+    clean_arg
+}