gic encod and decod