Hello all!

I just quickly looked at the gsm48_mi_to_string() method in gsm48.c.
I found that it is used in several projects like OsmocomBB and OpenBSC,
but it seems a bit strange to me that the TMSI represented in decimal...

> ...
> uint32_t tmsi;
> ...
> return snprintf(string, str_len, "%u", tmsi);
> ...

Can we move to use a hex representation instead of decimal? And why if not?

> ...
> uint32_t tmsi;
> ...
> return snprintf(string, str_len, "%x", tmsi);
> ...