--- /dev/null
+function str_join(array, from, to, sep_given, str, sep, i) {
+ str = ""
+ sep = ""
+ for (i=from; i<=to; i++) {
+ str = str sep array[i]
+ sep = sep_given
+ }
+ return str
+}
+
+function str_tail(head, full, tail, len_tail, len_head, len_full) {
+ len_full = length(full)
+ len_head = length(head)
+ len_tail = len_full - len_head
+ tail = substr(full, len_head + 1, len_tail)
+ return tail
+}
+
+function str_strip(s) {
+ sub("^ *", "", s)
+ sub(" *$", "", s)
+ return s
+}