+/* Return the string representation of an integer. Will try to produce output
+ * in decimal, hexadecimal, or octal according to base, though this is just
+ * advisory. For negative numbers, will always use decimal. */
+string encode_int(long long n, int base)