range arfcn encoding

Hi.

How to properly use range_enc_arfcns() and range_enc_range*() from arfcn_range_decode.h? There're not many comments around the code. From function signature it seems like range_enc_arfcns() will put results into w parameter but in system_information.c after that there's also call to one of range_enc_range*().

I've tried to feed output to wireshark but it decode some unexpected stuff. So, if I have a sequence of ints which I'd like to run through range512 for example - ho do I get the output?