i is not in the map, or
if the int value of is INT_MIN, "" is returned.

Starting with 0, the strings are "A" - "Z", "A26", "A27", ... .

The argument *a must point to available space for the result.
The result is returned.
<A NAME="jstring"></A><HR><PRE><B>char *jstring(Just j);
</B></PRE>What is the string, e.g., "resolve" associated with a justification node?
<A NAME="just_count"></A><HR><PRE><B>int just_count(Just j);
</B></PRE>Return the number of justification elements in a justtification.
<A NAME="ma