Re: RFC: Change gsm_subscriber tmsi from char[17] to u_int32_t