HIP-wide character ID allocation/definition tracking in charalloc.pl