-const char *mpstr(mp *m)
-{
- if (mp_writestring(m, (char *)buf_t, sizeof(buf_t), 10))
- return ("<failed>");
- return ((const char *)buf_t);
-}
-
-/* --- @gestr@ --- *
- *
- * Arguments: @group *g@ = a group
- * @ge *x@ = a group element
- *
- * Returns: A pointer to the element's textual representation.
- *
- * Use: Converts a group element to a string. Corrupts
- * @buf_t@.
- */
-
-const char *gestr(group *g, ge *x)
-{
- if (group_writestring(g, x, (char *)buf_t, sizeof(buf_t)))
- return ("<failed>");
- return ((const char *)buf_t);
-}
-
-/* --- @timestr@ --- *
- *
- * Arguments: @time_t t@ = a time to convert
- *
- * Returns: A pointer to a textual representation of the time.
- *
- * Use: Converts a time to a textual representation. Corrupts
- * @buf_t@.
- */
-
-const char *timestr(time_t t)
-{
- struct tm *tm;
- if (!t)
- return ("NEVER");
- tm = localtime(&t);
- strftime((char *)buf_t, sizeof(buf_t), "%Y-%m-%dT%H:%M:%S", tm);
- return ((const char *)buf_t);
-}