1 files changed, 15 insertions, 0 deletions
diff --git a/pablo/PabloSedscr b/pablo/PabloSedscr
new file mode 100644
index 0000000..73edda0
--- /dev/null
+++ b/pablo/PabloSedscr
@@ -0,0 +1,15 @@
+s/_//g
+s/,//g
+/^[0-9]/,/ID/{
+/^[0-9]/h
+/^[0-9]/d
+s/$/ = /
+G
+s/\n//
+s/ID/      parameter ( &/
+s/$/ )/
+h
+s/parameter (/integer/
+s/=.*//
+G
+}