Restyled all files using astyle
 from mohamed/libitl2@8309f57940c763547e3e23328f0bd7a1477c1c2c
 Applied astyle as follows:
 astyle --mode=c --style=ansi -s4